- Relation algebras from cylindric algebras, II.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):267-297.details
|
|
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.details
|
|
A note on algebras of substitutions.Gábor Sági - 2002 - Studia Logica 72 (2):265-284.details
|
|
Algebraization of quantifier logics, an introductory overview.István Németi - 1991 - Studia Logica 50 (3-4):485 - 569.details
|
|
(1 other version)Martin's Axiom, Omitting Types, and Complete Representations in Algebraic Logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285-309.details
|
|
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.details
|
|
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.details
|
|
(1 other version)Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.details
|
|
Finite schematizable algebraic logic.I. Sain & V. Gyuris - 1997 - Logic Journal of the IGPL 5 (5):699-751.details
|
|
Omitting types for algebraizable extensions of first order logic.Tarek Sayed Ahmed - 2005 - Journal of Applied Non-Classical Logics 15 (4):465-489.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
|
|
On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.details
|
|
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.details
|
|
On Cylindric Algebras Satisfying Merry-go-round Properties.Miklós Ferenczi - 2007 - Logic Journal of the IGPL 15 (2):183-197.details
|
|
Polyadic and cylindric algebras of sentences.Mohamed Amer & Tarek Sayed Ahmed - 2006 - Mathematical Logic Quarterly 52 (5):444-449.details
|
|
On Preservation Theorems for Two-Variable Logic.Erich Gradel & Eric Rosen - 1999 - Mathematical Logic Quarterly 45 (3):315-325.details
|
|
On the search for a finitizable algebraization of first order logic.I. Sain - 2000 - Logic Journal of the IGPL 8 (4):497-591.details
|
|
Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.details
|
|
(1 other version)Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.details
|
|
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.details
|
|