Varieties of commutative residuated integral pomonoids and their residuation subreducts

DOI10.1006/jabr.1996.6834zbMath0872.06007OpenAlexW2083174445MaRDI QIDQ1355602

Willem J. Blok, James G. Raftery

Publication date: 21 September 1997

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

Full work available at URL: https://doi.org/10.1006/jabr.1996.6834

zbMATH Keywords

BCK-algebravarietyquasivarietysubdirectly irreducible algebraspartially ordered monoidresiduationBrouwerian semilatticescongruence permutablehoopsideals of a commutative ringrelative congruence extension propertyrelatively congruence distributivesubreducts

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Ideals and multiplicative ideal theory in commutative rings (13A15) Ordered semigroups and monoids (06F05) Varieties of lattices (06B20)

Related Items

Yankov Characteristic Formulas (An Algebraic Account), Functional completeness of bounded structures of fuzzy logic with wvt-operators, Representable biresiduated lattices, Hoop twist-structures, On very true operators on pocrims, Group representation for even and odd involutive commutative residuated chains, On the variety generated by bounded pseudo-BCK-algebras, Fragments of quasi-Nelson: residuation, On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras, Varieties of BL-algebras. I, revisited, Quantum B-algebras: their omnipresence in algebraic logic and beyond, Joins and subdirect products of varieties, In memory of Willem Johannes Blok 1947-2003, Minimal varieties of involutive residuated lattices, ASSERTIONALLY EQUIVALENT QUASIVARIETIES, Residuated relational systems, Residuated Structures, Concentric Sums and Finiteness Conditions, An approach to Glivenko's theorem in algebraizable logics, Constructive logic with strong negation is a substructural logic. I, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, Varieties of De Morgan monoids: minimality and irreducible algebras, Basic hoops: an algebraic study of continuous t-norms, Formal systems of fuzzy logic and their fragments, \(L\)-algebras, self-similarity, and \(l\)-groups, Double negation semantics for generalisations of Heyting algebras, Adding structure to MV-algebras, Semisimplicity and the discriminator in bounded BCK-algebras, On the finite embeddability property for residuated ordered groupoids, Varieties of BL-algebras. I: General properties., Upper bounds on the sizes of finitely generated algebras, Compatibly involutive residuated lattices and the Nelson identity, Splittings in subreducts of hoops, Geometrical methods in Wajsberg hoops, Projectivity in (bounded) commutative integral residuated lattices, On residuation in multilattices: filters, congruences, and homomorphisms.

Cites Work

• On the structure of varieties with equationally definable principal congruences. II
• Equationally complete classes of commutative monoids with monus
• Every BCK-algebra is a set of residuables in an integral pomonoid
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• Distributivity and modularity of lattices of tolerance relations
• Congruence permutable and congruence 3-permutable locally finite varieties
• On the structure of varieties with equationally definable principal congruences. III
• On the quasivariety of BCK-algebras and its subvarieties
• On the structure of varieties with equationally definable principal congruences. I
• On the structure of hoops
• Implication algebras are 3-permutable and 3-distributive
• Tolerance numbers, congruence $n$-permutability and BCK-algebras
• Algebraic Analysis of Many Valued Logics
• Logics without the contraction rule
• NONE OF THE VARIETY En, n>2, IS LOCALLY FINITE
• Algebraizable logics
• Tolerances in congruence permutable algebras
• Brouwerian Semilattices
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Some Connections between Residual Finiteness, Finite Embeddability and the Word Problem
• An algebra related with a propositional calculus
• Residuated Lattices
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item