On congruence modularity in varieties of logic.

DOI10.1007/s000120050198zbMath1039.08004OpenAlexW1987933965MaRDI QIDQ5932592

James G. Raftery, Willem J. Blok

Publication date: 10 June 2001

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050198

zbMATH Keywords

quasivarietyabstract algebraic logicalgebraic semanticsalgebraizable logiccongruence modularity

Mathematics Subject Classification ID

Algebraic logic (03G99) Congruence modularity, congruence distributivity (08B10) Quasivarieties (08C15) Abstract deductive systems (03B22)

Related Items (5)

In memory of Willem Johannes Blok 1947-2003 ⋮ ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ The poset of all logics. III: Finitely presentable logics ⋮ Correspondences between gentzen and hilbert systems ⋮ On prevarieties of logic

This page was built for publication: On congruence modularity in varieties of logic.