Löwenheim–Skolem theorems for non-classical first-order algebraizable logics: Table 1 (original) (raw)
Related papers
Contributions to the Model Theory for Non-Classical Logics
Zeitschrift für Mathematische Logik und Grundlagen der Mathematik, 1974
On the search for a finitizable algebraization of first order logic
Logic Journal of IGPL, 2000
A definability theorem for first order logic
1997
Definability and automorphisms in abstract logics
Archive for Mathematical Logic, 2004
Concerning some cylindric algebra versions of the downward Löwenheim-Skolem theorem
Notre Dame Journal of Formal Logic, 1988
On Löwenheim–Skolem–Tarski Numbers for Extensions of First Order Logic
Journal of Mathematical Logic, 2011
Finite schematizable algebraic logic
Logic Journal of IGPL, 1997
Chapter 3: Applications to Protoalgebraic and Algebraizable Logics
2009
On Elementary Equivalence for Equality-free Logic
Notre Dame Journal of Formal Logic, 1996
Chapter 5: Applications to Particular Sentential Logics
2009
On orderings of the family of all logics
Archive for Mathematical Logic, 1980
Chapter 1: Generalities on Abstract Logics and Sentential Logics
2009
A note of the full generalized models of the extensions of a logic
Reports on Mathematical Logic
On universal algebraic constructions of logics
Studia Logica, 1977
A fundamental non-classical logic
Preservation theorems for strong first-order logics
arXiv (Cornell University), 2019
Algebraizable logics and a functorial encoding of its morphisms
Logic Journal of the IGPL, 2017
A Hierarchy of Classical and Paraconsistent Logics
Damian Szmuc, Federico Pailos, Eduardo Barrio
2019
Inner models from extended logics: Part 1
Journal of Mathematical Logic, 2020
Chapter XVII: Set-Theoretic Definability of Logics
1985
On Algebraization of Classical First Order Logic
2014
Intermediate predicate logics determined by ordinals
Journal of Symbolic Logic, 1990
Skolemization in intermediate logics with the finite model property
Logic Journal of IGPL, 2016
Non-finite-axiomatizability results in algebraic logic
Journal of Symbolic Logic, 1992
A de nability theorem for rst order logic
1997
Towards an hyperalgebraic theory of non-algebraizable logics
Marcelo Esteban Coniglio, Ana Claudia Golzio
CLE e-Prints, Vol. 16 N. 4, 2016
First-order logics: some characterizations and closure properties
Acta Informatica, 2012
Some results on the intermediate logics
Publications of the Research Institute for Mathematical Sciences, 1972
Realizability in classical logic
2007
First-order theories as many-sorted algebras
Notre Dame Journal of Formal Logic, 1984
Computational isomorphisms in classical logic (Extended Abstract)
1996
Model Theory and Proof Theory of Coalgebraic Predicate Logic