On the structure of varieties with equationally definable principal congruences. IV

DOI10.1007/BF01188178zbMath0817.08005MaRDI QIDQ1315322

Don Pigozzi, Willem J. Blok

Publication date: 27 July 1995

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

zbMATH Keywords

congruencesalgebraic logicopen filterequationally definable principal congruencescompact homomorphic imagesassertional logicpseudo- interior algebrastructure of varietiesternary deductive term

Mathematics Subject Classification ID

Algebraic logic (03G99) Equational logic, Mal'tsev conditions (08B05)

Related Items (18)

Characteristic formulas of partial Heyting algebras ⋮ Boolean-like algebras ⋮ Expansions of dually pseudocomplemented Heyting algebras ⋮ A Mathematical Life ⋮ Introducing Boolean Semilattices ⋮ Paraconsistent constructive logic with strong negation as a contraction-free relevant logic ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ Intuitionistic logic is a connexive logic ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ Strengthening effect algebras in a logical perspective: Heyting-Wajsberg algebras ⋮ Quasi-discriminator varieties ⋮ Dual binary discriminator varieties ⋮ FREGEAN VARIETIES ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ Quasi-subtractive varieties ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On the structure of varieties with equationally definable principal congruences. II
• Finitely axiomatizable varieties of BCK-algebras
• On the structure of varieties with equationally definable principal congruences. I
• Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
• On closed elements in closure algebras
• An ordered sheaf representation of subresiduated lattices
• Logics Which Are Characterized by Subresiduated Lattices
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Komplementäre Halbgruppen Kongruenzen und Quotienten

This page was built for publication: On the structure of varieties with equationally definable principal congruences. IV