Abstract.
An open problem in algebraic logic asks whether a variety that is the equivalent algebraic semantics of an algebraizable logic must be congruence modular. A negative solution is provided here: it is shown that such ‘varieties of logic’ need satisfy no special congruence lattice identity.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received June 15, 1999; accepted in final form July 10, 2000.
Rights and permissions
About this article
Cite this article
Blok, W., Raftery, J. On congruence modularity in varieties of logic. Algebra univers. 45, 15–21 (2001). https://doi.org/10.1007/s000120050198
Issue Date:
DOI: https://doi.org/10.1007/s000120050198