On orderings of the family of all logics (original) (raw)
Related papers
A Theorem of the Degree of Complexity of Some Sentential Logics
1980
Hierarchies in transitive closure logic, stratified Datalog and infinitary logic
Annals of Pure and Applied Logic, 1996
Some results on the intermediate logics
Publications of the Research Institute for Mathematical Sciences, 1972
On the content of lattices of logics. Part I
The Poset of All Logics III: Finitely Presentable Logics
Studia Logica, 2020
Some Results on Ordered Structures in
2005
A de nability theorem for rst order logic
1997
On the degree of complexity of sentential logics. A couple of examples
Studia Logica, 1981
Reducibility orderings: Theories, definability and automorphisms
Annals of Mathematical Logic, 1980
Dominoes and the complexity of subclasses of logical theories
Annals of Pure and Applied Logic, 1989
The elementary theory of the natural lattice is finitely axiomatizable
Notre Dame Journal of Formal Logic - NDJFL, 1989
The Existential Fragment of Third Order Logic and Third Order Relational Machines
2014
The Poset of All Logics I: Interpretations and Lattice Structure
The Journal of Symbolic Logic
Intermediate predicate logics determined by ordinals
Journal of Symbolic Logic, 1990
On decidability and axiomatizability of some ordered structures
Soft Computing
The Poset of All Logics II: Leibniz Classes and Hierarchy
arXiv: Logic, 2020
On the Finite Model Property in Order-Sorted Logic
cs.wpi.edu
Canonical extensions and relational completeness of some substructural logics
The Journal of Symbolic Logic, 2005
On the Decidability of the Ordered Structures of Numbers
arXiv (Cornell University), 2017
Ordered structures and computability
2009
Definable Sets in Ordered Structures. I
Transactions of The American Mathematical Society, 1986
Comparing hierarchies of types in models of linear logic
Information and Computation/information and Control, 2004
Systems of Logic Based on Ordinals
Proceedings of the London Mathematical Society, 1939
Ordering finite variable types with generalized quantifiers
Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226)
On Decidability of the Ordered Structures of Numbers
2017
The Arithmetic Hierarchy, Parikh's Theorem and Related Matters
2000
Decidable fragments of many-sorted logic
Journal of Symbolic Computation, 2010
Algebraic structures of generalized many-valued logics
Journal of Logic and Computation, 2009
Lattices related to Post algebras and their applications to some logical systems
Studia Logica, 1977
Notes on the Model Theory of DeMorgan Logics
Notre Dame Journal of Formal Logic, 2012
Lindenbaum-type Logical Structures: Introduction and Characterization
2021