Results 241 to 250 of about 140,069 (266)
Some of the next articles are maybe not open access.
On the first-order logic of terms
Journal of Symbolic Logic, 1973By an elementary condition in the variablesx1, …, xn, we mean a conjunction of the form x1 ≤ i < j ≤ naij where each aij is one of the formulas xi = xj or xi ≠ xj. (We should add that the formula x1 = x1 should be regarded as an elementary condition in the one variable x1.)Clearly, according to this definition, some elementary conditions are ...
openaire +1 more source
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 +1 more source
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 +1 more source
2006
This chapter is constituted by two parts. The ̄rst part comprising Sections 1-5 was written by Torben Brauner and the second part comprising Sections 6-11 was written by Silvio Ghilardi. In the first part of the chapter, we give an introduction to first-order modal logic.
Torben Brauner, Silvio Ghilardi
openaire +2 more sources
This chapter is constituted by two parts. The ̄rst part comprising Sections 1-5 was written by Torben Brauner and the second part comprising Sections 6-11 was written by Silvio Ghilardi. In the first part of the chapter, we give an introduction to first-order modal logic.
Torben Brauner, Silvio Ghilardi
openaire +2 more sources
Generalized Interpolation in First Order Logic
Fundamenta Informaticae, 2005We consider the Craig Interpolation Property for many sorted first-order logic. The Craig Interpolation Property explored in this paper is inspired by the institution independent generalization of this property presented in [21]. In [3] the author presents the interpolation result for the institution of many sorted first-order logic, with both ...
openaire +3 more sources
On First-Order Logic and CPDA Graphs
Theory of Computing Systems, 2014zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +2 more sources
Formal Verification of Fractional-Order PID Control Systems Using Higher-Order Logic
Fractal and Fractional, 2022Chunna Zhao +2 more
exaly
A First-order Logic with Frames
ACM Transactions on Programming Languages and Systems, 2023Adithya Murali +2 more
exaly
Concerning the semantic consequence relation in first-order temporal logic
Theoretical Computer Science, 1986Andrzej Szalas
exaly
Where First-Order and Monadic Second-Order Logic Coincide
ACM Transactions on Computational Logic, 2016Martin Grohé, Grohemartin
exaly