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

DOI10.1007/BF01195727zbMath0817.08004MaRDI QIDQ1342132

Don Pigozzi, Willem J. Blok

Publication date: 13 February 1995

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

zbMATH Keywords

algebraic logic; equationally definable principal congruences; hoops; structure of varieties; ternary deductive term; fixed-point ternary discriminator function; quaternary deductive term

Mathematics Subject Classification ID

03G99: Algebraic logic

08B05: Equational logic, Mal'tsev conditions

Related Items

Quasi-discriminator varieties, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Hoop twist-structures, Boolean-like algebras, Congruence-lattices of discrete RUCS varieties, \(L\)-algebras, self-similarity, and \(l\)-groups, Constructive logic with strong negation is a substructural logic. II, 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, Algebraization of quantifier logics, an introductory overview, On subtractive weak Brouwerian semilattices, Varieties of commutative residuated integral pomonoids and their residuation subreducts, \(\bigstar\)-autonomous lattices, Varieties of BL-algebras. I: General properties., Geometrical methods in Wajsberg hoops, Semisimplicity, EDPC and discriminator varieties of bounded weak-commutative residuated lattices with an S4-like modal operator, Characteristic formulas of partial Heyting algebras, In memory of Willem Johannes Blok 1947-2003, Willem Blok's contribution to abstract algebraic logic, On varieties of biresiduation algebras, Implicative twist-structures, Basic hoops: an algebraic study of continuous t-norms, FREGEAN VARIETIES

Cites Work

• 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
• 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