Results 281 to 290 of about 106,571 (322)
Some of the next articles are maybe not open access.
2011
In the 1930s Kurt Godel Alonso Church, and Alan Turing laid important foundations for logic and, theoretical computer science. Of particular interest for AI are Godel’s theorems. The completeness theorem states that first-order predicate logic is complete.
openaire +2 more sources
In the 1930s Kurt Godel Alonso Church, and Alan Turing laid important foundations for logic and, theoretical computer science. Of particular interest for AI are Godel’s theorems. The completeness theorem states that first-order predicate logic is complete.
openaire +2 more sources
2012
Following the same procedure as for propositional logic, we prepare now the necessary material for writing expressions upon which the logical calculus will act. In a first phase we will only work with formulas that are similar to the clauses of propositional logic. Then the calculus will be extended to all formulas.
openaire +2 more sources
Following the same procedure as for propositional logic, we prepare now the necessary material for writing expressions upon which the logical calculus will act. In a first phase we will only work with formulas that are similar to the clauses of propositional logic. Then the calculus will be extended to all formulas.
openaire +2 more sources
The Logic of Intensional Predicates
2003This paper gives a personal overview of the current situation concerning the logical theory of intensional predicates. It is shown how several intensional notions, when logically treated as predicates, yield liar-like paradoxes. Some consistent semantic and axiomatic theories of intensional predicates are presented and discussed.
openaire +2 more sources
Materials challenges for trapped-ion quantum computers
Nature Reviews Materials, 2021Kenneth R Brown +2 more
exaly
1991
A predicate is a statement which depends on a value or values. When a predicate is applied to a particular value it becomes a proposition. An example is the predicate prime(x) which depends on some numeric value x, so that prime(7) is a true proposition meaning that seven is a prime number, and prime(6) is a false proposition.
openaire +2 more sources
A predicate is a statement which depends on a value or values. When a predicate is applied to a particular value it becomes a proposition. An example is the predicate prime(x) which depends on some numeric value x, so that prime(7) is a true proposition meaning that seven is a prime number, and prime(6) is a false proposition.
openaire +2 more sources
On Predication and Logical Syntax
1976This is the right time to acknowledge my intellectual debt to Yehoshua Bar-Hillel. But I will also take the opportunity to voice a complaint of long standing. Bar-Hillel’s work on categories has influenced me since 1961. But it should have influenced me earlier.
openaire +2 more sources
Magnetic skyrmions: advances in physics and potential applications
Nature Reviews Materials, 2017Albert Fert +2 more
exaly