Publication:3342629
From MaRDI portal
zbMath0549.06009MaRDI QIDQ3342629
Publication date: 1984
BCK-algebras; equational class; finitely based; \({\mathcal M}\)-algebras; finite \({\mathcal M}\)- algebras
20M14: Commutative semigroups
06F05: Ordered semigroups and monoids
08B99: Varieties
06D99: Distributive lattices
Related Items
On the finite embeddability property for residuated ordered groupoids, Functional completeness of bounded structures of fuzzy logic with wvt-operators, Constructive logic with strong negation is a substructural logic. I, 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