On congruence modularity in varieties of logic.
type: Item
instance of: scholarly article
title: On congruence modularity in varieties of logic.
zbMATH Open document ID: 1039.08004
author: W. J. Blok
author: J. G. Raftery
published in: Algebra Universalis
publication date: 2001-06-10T00:00:00Z
review text: The concept of a quasivariety of logic is introduced in the paper. It is shown that every congruence point regular quasivariety can serve as a quasivariety of logic. However, every congruence point regular variety is congruence modular, hence there is a natural question on congruence modularity of quasivarieties of logic. The authors answer this question in the negative. They construct an example of a quasivariety of logic which does not satisfy any non-trivial lattice identity for congruences.
reviewed by: Ivan Chajda
Mathematics Subject Classification ID: 08B10
Mathematics Subject Classification ID: 03G99
Mathematics Subject Classification ID: 08C15
Mathematics Subject Classification ID: 03B22
zbMATH DE Number: 1603138
zbMATH Keywords: congruence modularity
zbMATH Keywords: abstract algebraic logic
zbMATH Keywords: quasivariety
zbMATH Keywords: algebraic semantics
zbMATH Keywords: algebraizable logic
MaRDI profile type: Publication
full work available at URL: s000120050198
OpenAlex ID: W1987933965
DOI: 10.1007/S000120050198
Recommended article: On the Modularization Theorem for logical specifications
Recommended article: Logics of varieties, logics of semilattices and conjunction
Recommended article: Conditionals and Modularity in General Logics
Recommended article: Note on extending congruential modal logics
Recommended article: Q4329244
Recommended article: CONCUR 2004 - Concurrency Theory
Recommended article: Q4489077
Recommended article: On an intuitionistic modal logic
Recommended article: Q3086692
Recommended article: Modules and Infinitary Logics
description: scientific article; zbMATH DE number 1603138