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

DOI10.1007/BF01195727zbMath0817.08004OpenAlexW4246761341MaRDI QIDQ1342132

Don Pigozzi, Willem J. Blok

Publication date: 13 February 1995

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

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

zbMATH Keywords

algebraic logicequationally definable principal congruenceshoopsstructure of varietiesternary deductive termfixed-point ternary discriminator functionquaternary deductive term

Mathematics Subject Classification ID

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

Related Items (44)

Yankov Characteristic Formulas (An Algebraic Account) ⋮ Negation and Implication in Quasi-Nelson Logic ⋮ Varieties of commutative residuated integral pomonoids and their residuation subreducts ⋮ Hoop twist-structures ⋮ 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 ⋮ Unnamed Item ⋮ Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator ⋮ Prelinearity in (quasi-)Nelson logic ⋮ Fragments of quasi-Nelson: residuation ⋮ Intuitionistic logic is a connexive logic ⋮ Factor varieties ⋮ Fuzzy ideals in pseudo-hoop algebras ⋮ In memory of Willem Johannes Blok 1947-2003 ⋮ Willem Blok's contribution to abstract algebraic logic ⋮ On varieties of biresiduation algebras ⋮ Unnamed Item ⋮ Implicative twist-structures ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Algebraization of quantifier logics, an introductory overview ⋮ \(L\)-algebras, self-similarity, and \(l\)-groups ⋮ Projective algebras and primitive subquasivarieties in varieties with factor congruences ⋮ Quasi-discriminator varieties ⋮ The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview ⋮ Double negation semantics for generalisations of Heyting algebras ⋮ \(\bigstar\)-autonomous lattices ⋮ Varieties of BL-algebras. III: Splitting algebras ⋮ Constructive logic with strong negation is a substructural logic. II ⋮ On noncommutative generalisations of Boolean algebras ⋮ Dual binary discriminator varieties ⋮ Varieties of BL-algebras. I: General properties. ⋮ On subtractive weak Brouwerian semilattices ⋮ Congruence-lattices of discrete RUCS varieties ⋮ FREGEAN VARIETIES ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ MacNeille completion and profinite completion can coincide on finitely generated modal algebras ⋮ Geometrical methods in Wajsberg hoops ⋮ Projectivity in (bounded) commutative integral residuated lattices ⋮ Quasi-Nelson algebras and fragments

Cites Work

• On the structure of varieties with equationally definable principal congruences. II
• Semantical analysis of predicate logics without the contraction rule
• Predicate logics without the structure rules
• Varieties with equationally definable principal congruences
• An algebraic approach to non-classical logics
• On the structure of varieties with equationally definable principal congruences. I
• Komplementäre Halbgruppen. Ein Beitrag zur instruktiven Idealtheorie kommutativer Halbgruppen
• Algebraic Analysis of Many Valued Logics
• Note on algebraic models for relevance logic
• Some Varieties Containing Relation Algebras
• Logics without the contraction rule
• Varieties generated by finite BCK-algebras
• Super-Łukasiewicz propositional logics
• Metric spaces, generalized logic, and closed categories
• Super-Łukasiewicz implicational logics
• Algebras Whose Congruence Lattices are Distributive.
• Deductive systems and categories
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• An algebra related with a propositional calculus
• Komplementäre Halbgruppen Kongruenzen und Quotienten
• Boolean Algebras with Operators. Part I
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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