scientific article; zbMATH DE number 1076476

MaRDI QIDQ4359793zbMATH OpenFDO

Authors J. G. Raftery, C. J. van Alten

Publication date 5 May 1999

zbMATH Keywords

algebraic semanticsBCK-algebrabinary additioncongruence permutabilityideallocally finite varietieslogics lacking contraction and commutation rulesordered monoidpolrimquasivarietyrelative congruence extensibilityrelatively congruence distributiverelatively point regularresiduationresiduation subreducts

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05) BCK-algebras, BCI-algebras (06F35) Quasivarieties (08C15)

Recommendations

• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• THE STRUCTURE OF RESIDUATED LATTICES
• Residuation in commutative ordered monoids with minimal zero

Cited in

(11)

• Constructive logic with strong negation is a substructural logic. II
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
• Residuated structures and orthomodular lattices
• Splittings in GBL-algebras. I: The general case
• On residuation in multilattices: filters, congruences, and homomorphisms.
• On varieties of biresiduation algebras
• From partially ordered monoids to partially ordered groups via free nuclear preimages
• Fuzzy ideals in pseudo-hoop algebras
• ON COMMUTATIVE RESIDUAL POMONOIDS
• Algebraic geometry over complete lattices and involutive pocrims

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4359793)