- Algebraizable Logics.W. J. Blok & Don Pigozzi - 2022 - Advanced Reasoning Forum.details
|
|
(1 other version)Characterization classes defined without equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.details
|
|
(1 other version)Some characterization theorems for infinitary universal horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.details
|
|
The free non-commutative cylindric algebras are not atomic.Mohamed Khaled - 2017 - Logic Journal of the IGPL 25 (5):673-685.details
|
|
Distributive Normal Forms in First-Order Logic.Jaakko Hintikka, J. N. Crossley & M. A. E. Dummett - 1966 - Journal of Symbolic Logic 31 (2):267-268.details
|
|
Cylindric Algebras. Part I.Leon Henkin, J. Donald Monk, Alfred Tarski, L. Henkin, J. D. Monk & A. Tarski - 1985 - Journal of Symbolic Logic 50 (1):234-237.details
|
|
Protoalgebraic logics.W. J. Blok & Don Pigozzi - 1986 - Studia Logica 45 (4):337 - 369.details
|
|
Modal Languages and Bounded Fragments of Predicate Logic.Hajnal Andréka, István Németi & Johan van Benthem - 1998 - Journal of Philosophical Logic 27 (3):217 - 274.details
|
|
(1 other version)Finite algebras of relations are representable on finite sets.H. Andréka, I. Hodkinson & I. Németi - 1999 - Journal of Symbolic Logic 64 (1):243-267.details
|
|
(1 other version)Relation Algebras by Games.Robin Hirsch & Ian Hodkinson - 2003 - Bulletin of Symbolic Logic 9 (4):515-520.details
|
|
(1 other version)Some characterization theorems for infinitary universal Horn logic without equality.Pilar Dellunde & Ramon Jansana - 1996 - Journal of Symbolic Logic 61 (4):1242-1260.details
|
|
Fragments of language.Ian Pratt-Hartmann - 2004 - Journal of Logic, Language and Information 13 (2):207-223.details
|
|
On the Existence of Finite Models and Decision Procedures for Propositional Calculi.R. Harrop - 1960 - Journal of Symbolic Logic 25 (2):180-181.details
|
|
On atomicity of free algebras in certain cylindric-like varieties.Zalán Gyenis - 2011 - Logic Journal of the IGPL 19 (1):44-52.details
|
|
(1 other version)Characterization Classes Defined without Equality.R. Elgueta - 1997 - Studia Logica 58 (3):357-394.details
|
|
Cylindric Algebras. Part II.Leon Henkin, J. Donald Monk & Alfred Tarski - 1988 - Journal of Symbolic Logic 53 (2):651-653.details
|
|
On Elementary Equivalence for Equality-free Logic.E. Casanovas, P. Dellunde & R. Jansana - 1996 - Notre Dame Journal of Formal Logic 37 (3):506-522.details
|
|
(1 other version)Finite Algebras of Relations are Representable on Finite Sets.H. Andreka, I. Hodkinson & I. Nemeti - 1999 - Journal of Symbolic Logic 64 (1):243-267.details
|
|
An introduction to cylindric set algebras.J. Monk - 2000 - Logic Journal of the IGPL 8 (4):451-496.details
|
|