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

DOI10.1007/BF01203370zbMath0558.08001MaRDI QIDQ762523

Don Pigozzi, Willem J. Blok, Peter Köhler

Publication date: 1984

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

zbMATH Keywords

congruence latticesubdirectly irreduciblecongruence permutabilityBrouwerian semilatticescompact homomorphic imagesdiscriminator algebrasequationally definable, principal congruencesquaternary deductive systems

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Subalgebras, congruence relations (08A30) Congruence modularity, congruence distributivity (08B10) Equational classes, universal algebra in model theory (03C05)

Related Items

Uniform interpolation and compact congruences ⋮ Free-decomposability in varieties of semi-Heyting algebras ⋮ Fregean subtractive varieties with definable congruence ⋮ Congruence quasi-orderability in subtractive varieties ⋮ On the structure of varieties with equationally definable principal congruences. III ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences ⋮ The parameterized local deduction theorem for quasivarieties of algebras and its application ⋮ Semi-Nelson 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 ⋮ Relative congruence formulas and decompositions in quasivarieties ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ VARIETIES OF DE MORGAN MONOIDS: COVERS OF ATOMS ⋮ Fragments of quasi-Nelson: residuation ⋮ Universal algebraic methods for non-classical logics ⋮ Intuitionistic logic is a connexive logic ⋮ The commutator in equivalential algebras and Fregean varieties ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ Congruence-distributive varieties of algebras ⋮ Universal algebras ⋮ Residuated Structures, Concentric Sums and Finiteness Conditions ⋮ Inconsistency lemmas in algebraic logic ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Quasi-discriminator varieties ⋮ Fregean logics with the multiterm deduction theorem and their algebraization ⋮ The Fraser-Horn and Apple Properties ⋮ On subtractive weak Brouwerian semilattices ⋮ FREGEAN VARIETIES ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ On the structure of varieties with equationally definable principal congruences. IV ⋮ Unnamed Item ⋮ MODEL COMPLETIONS FOR UNIVERSAL CLASSES OF ALGEBRAS: NECESSARY AND SUFFICIENT CONDITIONS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Congruence-lattices of discrete RUCS varieties
• Uniform congruence schemes
• Varieties with equationally definable principal congruences
• An algebraic approach to non-classical logics
• Equational compactness in quasi-primal varieties
• On the structure of varieties with equationally definable principal congruences. I
• Boolean extensions and normal subdirect powers of finite universal algebras
• Some limit theorems in terms of ``dispersion
• Topics in universal algebra
• Varieties of implicative semilattices
• On spectra, and the negative solution of the decision problem for identities having a finite nontrivial model
• Implicative Semi-Lattices
• Caracterisation des algèbres de Nelson par des egalités, I
• Two Mal'cev-type theorems in universal algebra
• Some theorems about the sentential calculi of Lewis and Heyting