- Atom structures of cylindric algebras and relation algebras.Ian Hodkinson - 1997 - Annals of Pure and Applied Logic 89 (2):117-148.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
|
|
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.details
|
|
Provability with finitely many variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.details
|
|
On the complexity of axiomatizations of the class of representable quasi‐polyadic equality algebras.Tarek Sayed Ahmed - 2011 - Mathematical Logic Quarterly 57 (4):384-394.details
|
|
Relation algebras from cylindric algebras, I.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):225-266.details
|
|
Algebraic structuralism.Neil Dewar - 2019 - Philosophical Studies 176 (7):1831-1854.details
|
|
Strongly representable atom structures of cylindric algebras.Robin Hirsch & Ian Hodkinson - 2009 - Journal of Symbolic Logic 74 (3):811-828.details
|
|
On universal algebraic constructions of logics.H. Andréka, T. Gergely & I. Németi - 1977 - Studia Logica 36 (1-2):9 - 47.details
|
|
Complexity of equations valid in algebras of relations part II: Finite axiomatizations.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2-3):211-229.details
|
|
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.details
|
|
Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.details
|
|
Complexity of equations valid in algebras of relations part I: Strong non-finitizability.Hajnal Andréka - 1997 - Annals of Pure and Applied Logic 89 (2):149-209.details
|
|
Atom-canonicity in varieties of cylindric algebras with applications to omitting types in multi-modal logic.Tarek Sayed Ahmed - 2020 - Journal of Applied Non-Classical Logics 30 (3):223-271.details
|
|
Three interpolation theorems for typeless logics.T. Sayed Ahmed - 2012 - Logic Journal of the IGPL 20 (6):1001-1037.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
|
|
Dynamic logic with program specifications and its relational proof system.Ewa Orlowska - 1993 - Journal of Applied Non-Classical Logics 3 (2):147-171.details
|
|
On neat reducts of algebras of logic.Tarek Sayed Ahmed & Istvan Németi - 2001 - Studia Logica 68 (2):229-262.details
|
|
(1 other version)On axiomatisting products of Kripke frames, part II.Agi Kurucz - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 219-230.details
|
|
Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts.Judit Madarász & Tarek Ahmed - 2009 - Logic Journal of the IGPL 17 (4):429-483.details
|
|
Bare canonicity of representable cylindric and polyadic algebras.Jannis Bulian & Ian Hodkinson - 2013 - Annals of Pure and Applied Logic 164 (9):884-906.details
|
|
An autobiography of polyadic algebras.Paul R. Halmos - 2000 - Logic Journal of the IGPL 8 (4):383-392.details
|
|
On varieties of cylindric algebras with applications to logic.I. Németi - 1987 - Annals of Pure and Applied Logic 36:235-277.details
|
|
(1 other version)Squares in Fork Arrow Logic.Renata P. de Freitas, Jorge P. Viana, Mario R. F. Benevides, Sheila R. M. Veloso & Paulo A. S. Veloso - 2003 - Journal of Philosophical Logic 32 (4):343-355.details
|
|
Independence-friendly cylindric set algebras.Allen Mann - 2009 - Logic Journal of the IGPL 17 (6):719-754.details
|
|
A Neat Embedding Theorem For Expansions Of Cylindric Algebras.Tarek Sayed-Ahmed & Basim Samir - 2007 - Logic Journal of the IGPL 15 (1):41-51.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
|
|
Relation algebras from cylindric algebras, II.Robin Hirsch & Ian Hodkinson - 2001 - Annals of Pure and Applied Logic 112 (2-3):267-297.details
|
|
Vaughts theorem holds for L2 but fails for Ln when n> 2.Mohamed Khaled & T. Sayed Ahmed - 2010 - Bulletin of the Section of Logic 39 (3/4):107-122.details
|
|
Representable cylindric algebras.Leon Henkin, J. Donald Monk & Alfred Tarski - 1986 - Annals of Pure and Applied Logic 31:23-60.details
|
|