Weakly Algebraizable Logics
Czelakowski, Janusz ; Jansana, Ramon
J. Symbolic Logic, Tome 65 (2000) no. 1, p. 641-668 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2000-06-14
Classification:  Weakly Algebraizable Logics,  Protoalgebraic Logics,  Algebraizable Logics,  Leibniz Congruence,  03G99,  03B22,  03G25 
@article{1183746067,
     author = {Czelakowski, Janusz and Jansana, Ramon},
     title = {Weakly Algebraizable Logics},
     journal = {J. Symbolic Logic},
     volume = {65},
     number = {1},
     year = {2000},
     pages = { 641-668},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183746067}
}

Czelakowski, Janusz; Jansana, Ramon. Weakly Algebraizable Logics. J. Symbolic Logic, Tome 65 (2000) no. 1, pp.  641-668. http://gdmltest.u-ga.fr/item/1183746067/