Weakly algebraizable logics

Journal of Symbolic Logic

Volumn 65, Issue 2, 2000, Pages 641-668

  Czelakowski, Janusz ^a   Jansana, Ramon ^a  

^a NONE

Author keywords

Algebraizable logics; Leibniz congruence; Protoalgebraic logics; Weakly algebraizable logics

Indexed keywords

EID: 0034412372     PISSN: 00224812     EISSN: None     Source Type: Journal    
DOI: 10.2307/2586559     Document Type: Article

References (19)

1. P. AGLIANO and A. URSINI, On subtractive varieties II: general properties, Algebra Universalis, vol. 36 (1996), pp. 222-259.
2. _, On subtractive varieties III: from ideals to congruences, preprint, 1997.
3. L. BERAN, Orthomodular lattices. an algebraic approach, Academia, Prague, 1984.
4. W. BLOK and D. PIGOZZI, Protoalgebraic logics, Studia Logica, vol. 45 (1986), pp. 337-369.
5. _, Algebraic semantics for Universal Horn Logic without equality, Universal algebra and quasigroup theory (A. Romanowska and J.D.H. Smith, editors), Heldermann, Berlin, 1992.
6. _, Algebraizable logics, Memoirs of the American Mathematical Society, vol. 396, January 1989.
7. W. BLOK and J.G. RAFTERY, Ideals in quasivarieties of algebras, Models, algebras, and proofs (X. Caicedo and C.H. Montenegro, editors), Lecture Notes in Pure and Applied Mathematics, vol. 203, Marcel Dekker, New York, 1999, pp. 167-186.
8. J. CZELAKOWSKI, Reduced products of logical matrices, Studia Logica, vol. 39 (1980), pp. 19-43.
9. _, Consequence operations, foundational studies, (Report of the research project "Theories, Models, Cognitive Schemas"), Institute of Philosophy and Sociology, Polish Academy of Sciences, Warszawa, 1992.
10. _, Protoalgebraic logics, manuscript, 1994.
11. J.M. FONT and R. JANSANA, A general algebraic semantics for sentential logics, Lecture Notes in Logic, vol. 7, Springer, Berlin, 1996.
12. B. HERRMANN, Equivalential logics and definability of truth, Ph.D. thesis, Freie Universität Berlin, 1993.
13. _, Equivalential and algebraizable logics, Studia Logica, vol. 57 (1996), pp. 419-436.
14. _, Characterizing equivalential and algebraizable logics by the Leibniz operator, Studia Logica, vol. 58 (1997), pp. 305-323.
15. J. MALINOWSKI, The deduction theorem for quantum logic, some negative results, this JOURNAL, vol. 55 (1990), pp. 615-625.
16. T. PRUCNAL and A. WROŃSKI, An algebraic characterization of the notion of structural completeness, Bulletin of the Section of Logic, Polish Academy of Sciences, vol. 3 (1974), pp. 30-33.
17. H. RASIOWA, An algebraic approach to non-classical logics, North-Holland, Amsterdam, 1974.
18. A. URSINI, Sulle varietà di algebre con una buona teoria degli ideale, Bolletino U.M.I., vol. 6 (4) (1972), pp. 90-95.
19. _, On subtractive varieties I, Algebra Universalis, vol. 31 (1994), pp. 204-222.