Notre Dame Journal of Formal Logic 47 (4):487-514 (2006)
AbstractProtoalgebraic logics are characterized by the monotonicity of the Leibniz operator on their theory lattices and are at the lower end of the Leibniz hierarchy of abstract algebraic logic. They have been shown to be the most primitive among those logics with a strong enough algebraic character to be amenable to algebraic study techniques. Protoalgebraic π-institutions were introduced recently as an analog of protoalgebraic sentential logics with the goal of extending the Leibniz hierarchy from the sentential framework to the π-institution framework. Many properties of protoalgebraic logics, studied in the sentential logic framework by Blok and Pigozzi, Czelakowski, and Font and Jansana, among others, have already been adapted in previous work by the author to the categorical level. This work aims at further advancing that study by exploring in this new level some more properties of protoalgebraic sentential logics
Similar books and articles
Categorical Abstract Algebraic Logic: Models of Π-Institutions.George Voutsadakis - 2005 - Notre Dame Journal of Formal Logic 46 (4):439-460.
Categorical Abstract Algebraic Logic Metalogical Properties.George Voutsadakis - 2003 - Studia Logica 74 (3):369 - 398.
An Abstract Algebraic Logic Approach to Tetravalent Modal Logics.Josep Maria Font & Miquel Rius - 2000 - Journal of Symbolic Logic 65 (2):481-518.
Categorical Abstract Algebraic Logic: Equivalent Institutions.George Voutsadakis - 2003 - Studia Logica 74 (1-2):275 - 311.
Upward Categoricity From a Successor Cardinal for Tame Abstract Classes with Amalgamation.Olivier Lessmann - 2005 - Journal of Symbolic Logic 70 (2):639 - 660.
Notes on Quasiminimality and Excellence.John T. Baldwin - 2004 - Bulletin of Symbolic Logic 10 (3):334-366.
Alpha-Conversion, Conditions on Variables and Categorical Logic.Pierre-Louis Curien - 1989 - Studia Logica 48 (3):319 - 360.
Closures in ℵ0-Categorical Bilinear Maps.Andreas Baudisch - 2000 - Journal of Symbolic Logic 65 (2):914 - 922.
Algebraic Semantics for Deductive Systems.W. J. Blok & J. Rebagliato - 2003 - Studia Logica 74 (1-2):153 - 180.
Added to PP
Historical graph of downloads
Citations of this work
Categorical Abstract Algebraic Logic: Prealgebraicity and Protoalgebraicity.George Voutsadakis - 2007 - Studia Logica 85 (2):215-249.
Categorical Abstract Algebraic Logic: Behavioral Π-Institutions.George Voutsadakis - 2014 - Studia Logica 102 (3):617-646.
Categorical Abstract Algebraic Logic: Truth-Equational $Pi$-Institutions.George Voutsadakis - 2015 - Notre Dame Journal of Formal Logic 56 (2):351-378.
Categorical Abstract Algebraic Logic: Structurality, Protoalgebraicity, and Correspondence.George Voutsadakis - 2009 - Mathematical Logic Quarterly 55 (1):51-67.
References found in this work
A Survey of Abstract Algebraic Logic.J. M. Font, R. Jansana & D. Pigozzi - 2003 - Studia Logica 74 (1-2):13 - 97.
Weakly Algebraizable Logics.Janusz Czelakowski & Ramon Jansana - 2000 - Journal of Symbolic Logic 65 (2):641-668.