- Three-elemnt non-finitely axiomatizable matrices and term-equivalence.Katarzyna Pałasińska - 2014 - Logic and Logical Philosophy 23 (4):481-497.details
|
|
Taking Degrees of Truth Seriously.Josep Maria Font - 2009 - Studia Logica 91 (3):383-406.details
|
|
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science.Janusz Czelakowski (ed.) - 2018 - Cham, Switzerland: Springer Verlag.details
|
|
Categorical abstract algebraic logic: Equivalent institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.details
|
|
Categorical abstract algebraic logic: The largest theory system included in a theory family.George Voutsadakis - 2006 - Mathematical Logic Quarterly 52 (3):288-294.details
|
|
Categorical abstract algebraic logic: The categorical Suszko operator.George Voutsadakis - 2007 - Mathematical Logic Quarterly 53 (6):616-635.details
|
|
Categorical Abstract Algebraic Logic: Structurality, protoalgebraicity, and correspondence.George Voutsadakis - 2009 - Mathematical Logic Quarterly 55 (1):51-67.details
|
|
Categorical abstract algebraic logic metalogical properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369 - 398.details
|
|
Categorical Abstract Algebraic Logic: Truth-Equational $pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.details
|
|
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.details
|
|
Categorical Abstract Algebraic Logic: Behavioral π-Institutions.George Voutsadakis - 2014 - Studia Logica 102 (3):617-646.details
|
|
Categorical Abstract Algebraic Logic Metalogical Properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369-398.details
|
|
Categorical abstract algebraic logic categorical algebraization of first-order logic without terms.George Voutsadakis - 2005 - Archive for Mathematical Logic 44 (4):473-491.details
|
|
Categorical abstract algebraic logic: The criterion for deductive equivalence: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347.details
|
|
Categorical abstract algebraic logic: The criterion for deductive equivalence.George Voutsadakis - 2003 - Mathematical Logic Quarterly 49 (4):347-352.details
|
|
Speaking about transitive frames in propositional languages.Yasuhito Suzuki, Frank Wolter & Michael Zakharyaschev - 1998 - Journal of Logic, Language and Information 7 (3):317-339.details
|
|
Order algebraizable logics.James G. Raftery - 2013 - Annals of Pure and Applied Logic 164 (3):251-283.details
|
|
Inconsistency lemmas in algebraic logic.James G. Raftery - 2013 - Mathematical Logic Quarterly 59 (6):393-406.details
|
|
Contextual Deduction Theorems.J. G. Raftery - 2011 - Studia Logica 99 (1-3):279-319.details
|
|
Admissible Rules and the Leibniz Hierarchy.James G. Raftery - 2016 - Notre Dame Journal of Formal Logic 57 (4):569-606.details
|
|
Finite basis theorem for Filter-distributive protoalgebraic deductive systems and strict universal horn classes.Katarzyna Pałasińska - 2003 - Studia Logica 74 (1-2):233 - 273.details
|
|
Relation Formulas for Protoalgebraic Equality Free Quasivarieties; Pałasińska’s Theorem Revisited.Anvar M. Nurakunov & Michał M. Stronkowski - 2013 - Studia Logica 101 (4):827-847.details
|
|
On Equational Completeness Theorems.Tommaso Moraschini - 2022 - Journal of Symbolic Logic 87 (4):1522-1575.details
|
|
A study of truth predicates in matrix semantics.Tommaso Moraschini - 2018 - Review of Symbolic Logic 11 (4):780-804.details
|
|
A computational glimpse at the Leibniz and Frege hierarchies.Tommaso Moraschini - 2018 - Annals of Pure and Applied Logic 169 (1):1-20.details
|
|
Relative Interpretation Between Logics.Toby Meadows - 2021 - Erkenntnis 88 (8):3203-3220.details
|
|
Malinowski modalization, modalization through fibring and the Leibniz hierarchy.M. A. Martins & G. Voutsadakis - 2013 - Logic Journal of the IGPL 21 (5):836-852.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
|
|
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
|
|
Correspondences between Gentzen and Hilbert Systems.J. G. Raftery - 2006 - Journal of Symbolic Logic 71 (3):903 - 957.details
|
|
Willem Blok's Contribution to Abstract Algebraic Logic.Ramon Jansana - 2006 - Studia Logica 83 (1-3):31-48.details
|
|
The Poset of All Logics III: Finitely Presentable Logics.Ramon Jansana & Tommaso Moraschini - 2020 - Studia Logica 109 (3):539-580.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 II: Leibniz Classes and Hierarchy.R. Jansana & T. Moraschini - 2023 - Journal of Symbolic Logic 88 (1):324-362.details
|
|
Abstract modal logics.Ramon Jansana - 1995 - Studia Logica 55 (2):273 - 299.details
|
|
Explicating Logical Independence.Lloyd Humberstone - 2020 - Journal of Philosophical Logic 49 (1):135-218.details
|
|
Equivalential and algebraizable logics.Burghard Herrmann - 1996 - Studia Logica 57 (2-3):419 - 436.details
|
|
Characterizing equivalential and algebraizable logics by the Leibniz operator.Burghard Herrmann - 1997 - Studia Logica 58 (2):305-323.details
|
|
A Gentzen system for conditional logic.Fernando Guzmán - 1994 - Studia Logica 53 (2):243 - 257.details
|
|
Selfextensional logics with a distributive nearlattice term.Luciano J. González - 2019 - Archive for Mathematical Logic 58 (1-2):219-243.details
|
|
Protoalgebraic Gentzen systems and the cut rule.Àngel J. Gil & Jordi Rebagliato - 2000 - Studia Logica 65 (1):53-89.details
|
|
Categorical Abstract Algebraic Logic: Models of π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.details
|
|
Categorical Abstract Algebraic Logic: More on Protoalgebraicity.George Voutsadakis - 2006 - Notre Dame Journal of Formal Logic 47 (4):487-514.details
|
|
Intuitionistic Sahlqvist Theory for Deductive Systems.Damiano Fornasiere & Tommaso Moraschini - forthcoming - Journal of Symbolic Logic:1-59.details
|
|
The simplest protoalgebraic logic.Josep Maria Font - 2013 - Mathematical Logic Quarterly 59 (6):435-451.details
|
|
The lattice of distributive closure operators over an algebra.Josep M. Font & Ventura Verdú - 1993 - Studia Logica 52 (1):1 - 13.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
|
|
Leibniz filters and the strong version of a protoalgebraic logic.Josep Maria Font & Ramon Jansana - 2001 - Archive for Mathematical Logic 40 (6):437-465.details
|
|
A survey of abstract algebraic logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.details
|
|
Beyond Rasiowa's Algebraic Approach to Non-classical Logics.Josep Maria Font - 2006 - Studia Logica 82 (2):179-209.details
|
|