scientific article
From MaRDI portal
Publication:3342629
zbMath0549.06009MaRDI QIDQ3342629
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
BCK-algebrasequational classfinitely based\({\mathcal M}\)-algebrasfinite \({\mathcal M}\)- algebras
Commutative semigroups (20M14) Ordered semigroups and monoids (06F05) Varieties (08B99) Distributive lattices (06D99)
Related Items (12)
Impossibility of defining the class of \(L_ 0\)-algebras by means of identities ⋮ Functional completeness of bounded structures of fuzzy logic with wvt-operators ⋮ 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 ⋮ On very true operators on pocrims ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ Basic hoops: an algebraic study of continuous t-norms ⋮ Formal systems of fuzzy logic and their fragments ⋮ On the finite embeddability property for residuated ordered groupoids ⋮ Compatibly involutive residuated lattices and the Nelson identity ⋮ A small set of axioms for residuated logic
This page was built for publication:
