Weakly algebraizable logics
- 1 June 2000
- journal article
- Published by Cambridge University Press (CUP) in The Journal of Symbolic Logic
- Vol. 65 (2) , 641-668
- https://doi.org/10.2307/2586559
Abstract
In the paper we study the class of weakly algebraizable logics, characterized by the monotonicity and injectivity of the Leibniz operator on the theories of the logic. This class forms a new level in the non-linear hierarchy of protoalgebraic logics.Keywords
This publication has 10 references indexed in Scilit:
- A General Algebraic Semantics for Sentential LogicsPublished by Cambridge University Press (CUP) ,2017
- On subtractive varieties III: From ideals to congruencesAlgebra universalis, 1997
- Characterizing Equivalential and Algebraizable Logics by the Leibniz OperatorStudia Logica, 1997
- Equivalential and algebraizable logicsStudia Logica, 1996
- On subtractive varieties II: General propertiesAlgebra universalis, 1996
- A General Algebraic Semantics for Sentenial LogicsPublished by Springer Nature ,1996
- On subtractive varieties, IAlgebra universalis, 1994
- Algebraizable logicsMemoirs of the American Mathematical Society, 1989
- Protoalgebraic logicsStudia Logica, 1986
- Reduced products of logical matricesStudia Logica, 1980