Results 271 to 280 of about 16,571,812 (297)
Some of the next articles are maybe not open access.
The representation of logics in higher-order logic
1987Intuitionistic higher-order logic — the fragment comtaining implication, universal quantification, and equality — can serve as a meta-logic for formalizing various logics. As an example, axioms formalizing first-order logic are presented, and proved sound and complete by induction on proof trees.
openaire +1 more source
Concerning the semantic consequence relation in first-order temporal logic
Theoretical Computer Science, 1986Andrzej Szalas
exaly
Expressing Second-order Sentences in Intuitionistic Dependence Logic
Studia Logica, 2013Fan Yang
exaly
Where First-Order and Monadic Second-Order Logic Coincide
ACM Transactions on Computational Logic, 2016Martin Grohé
exaly
Reasoning about taxonomies in first-order logic
Ecological Informatics, 2007Bertram Ludäscher, David Thau
exaly
Zero–one laws for k-variable first-order logic of sparse random graphs
Discrete Applied Mathematics, 2020Maksim Zhukovskiĭ
exaly