- On Equational Completeness Theorems.Tommaso Moraschini - 2022 - Journal of Symbolic Logic 87 (4):1522-1575.details
|
|
The algebraic significance of weak excluded middle laws.Tomáš Lávička, Tommaso Moraschini & James G. Raftery - 2022 - Mathematical Logic Quarterly 68 (1):79-94.details
|
|
The Poset of All Logics I: Interpretations and Lattice Structure.R. Jansana & T. Moraschini - 2021 - Journal of Symbolic Logic 86 (3):935-964.details
|
|
The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - 2020 - Studia Logica 109 (3):539-580.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
|
|
2003 Annual Meeting of the Association for Symbolic Logic.Andreas Blass - 2004 - Bulletin of Symbolic Logic 10 (1):120-145.details
|
|
On the Closure Properties of the Class of Full G-models of a Deductive System.Josep Maria Font, Ramon Jansana & Don Pigozzi - 2006 - Studia Logica 83 (1-3):215-278.details
|
|
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.details
|
|
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.details
|
|
Fregean logics.J. Czelakowski & D. Pigozzi - 2004 - Annals of Pure and Applied Logic 127 (1-3):17-76.details
|
|
Review of protoalgebraic logics by J. Czelakowski. [REVIEW]Raimon Elgueta - 2003 - Studia Logica 74 (1-2):313 - 342.details
|
|
(1 other version)Algebraic semantics for deductive systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.details
|
|
General Theory of the Commutator for Deductive Systems. Part I. Basic Facts.Janusz Czelakowski - 2006 - Studia Logica 83 (1-3):183-214.details
|
|
Algebraic Study of Two Deductive Systems of Relevance Logic.Josep Maria Font & Gonzalo Rodríguez - 1994 - Notre Dame Journal of Formal Logic 35 (3):369-397.details
|
|
The Poset of All Logics II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.details
|
|
An Abstract Approach to Consequence Relations.Petr Cintula, José Gil-férez, Tommaso Moraschini & Francesco Paoli - 2019 - Review of Symbolic Logic 12 (2):331-371.details
|
|
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.details
|
|
Inconsistency lemmas in algebraic logic.James G. Raftery - 2013 - Mathematical Logic Quarterly 59 (6):393-406.details
|
|
(4 other versions)Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.details
|
|
On definability of the equality in classes of algebras with an equivalence relation.Pilar Dellunde I. Clavé - 2000 - Studia Logica 64 (3):345-353.details
|
|
(1 other version)Categorical Abstract Algebraic Logic Metalogical Properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369-398.details
|
|
(4 other versions)Categorical abstract algebraic logic: The criterion for deductive equivalence: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347.details
|
|
Beyond Rasiowa's Algebraic Approach to Non-classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.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
|
|
Relevant Consequence Relations: An Invitation.Guillermo Badia, Libor Běhounek, Petr Cintula & Andrew Tedder - forthcoming - Review of Symbolic Logic:1-31.details
|
|
A Gentzen system for conditional logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.details
|
|
Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.details
|
|
(1 other version)Freeness in classes without equality.Raimon Elgueta - 1999 - Journal of Symbolic Logic 64 (3):1159-1194.details
|
|
(1 other version)In Memory of Willem Johannes Blok 1947-2003.Joel Berman, Wieslaw Dziobiak, Don Pigozzi & James Raftery - 2006 - Studia Logica 83 (1-3):5-14.details
|
|
(1 other version)Quasivarieties of logic, regularity conditions and parameterized algebraization.G. D. Barbour & J. G. Raftery - 2003 - Studia Logica 74 (1-2):99 - 152.details
|
|
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.details
|
|
Willem Blok's Contribution to Abstract Algebraic Logic.Ramon Jansana - 2006 - Studia Logica 83 (1-3):31-48.details
|
|
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science.Janusz Czelakowski (ed.) - 2018 - Cham, Switzerland: Springer Verlag.details
|
|