scientific article; zbMATH DE number 3875353

MaRDI QIDQ3342629zbMATH OpenFDO

Authors Denis Higgs

Publication date 1984

zbMATH Keywords

\({\mathcal M}\)-algebrasBCK-algebrasequational classfinite \({\mathcal M}\)- algebrasfinitely based

Mathematics Subject Classification ID

Distributive lattices (06D99) Ordered semigroups and monoids (06F05) Varieties (08B99) Commutative semigroups (20M14)

Recommendations

• scientific article; zbMATH DE number 3902648
• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
• scientific article; zbMATH DE number 4029565
• A new class in BCK-algebras
• Bounded BCK-algebras and their generated variety

Cited in

(13)

• Impossibility of defining the class of \(L_ 0\)-algebras by means of identities
• On the structure of varieties with equationally definable principal congruences. III
• On the quasivariety of BCK-algebras and its subvarieties
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Compatibly involutive residuated lattices and the Nelson identity
• On very true operators on pocrims
• Basic hoops: an algebraic study of continuous t-norms
• Formal systems of fuzzy logic and their fragments
• A small set of axioms for residuated logic
• On the finite embeddability property for residuated ordered groupoids
• Equationally complete classes of commutative monoids with monus
• Functional completeness of bounded structures of fuzzy logic with wvt-operators
• Constructive logic with strong negation is a substructural logic. I

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 Q3342629)