Impossibility of defining the class of \(L_ 0\)-algebras by means of identities

DOI10.1007/BF01157527zbMath0597.03040MaRDI QIDQ1078563

V. N. Grishin

Publication date: 1985

Published in: Mathematical Notes (Search for Journal in Brave)

zbMATH Keywords

equational classresiduated monoidclassical logic without contraction rulecommutative partially ordered monoid

Mathematics Subject Classification ID

Other algebras related to logic (03G25)

Related Items

ASSERTIONALLY EQUIVALENT QUASIVARIETIES ⋮ Varieties of De Morgan monoids: minimality and irreducible algebras ⋮ Boolean representation of bounded BCK-algebras ⋮ Semisimplicity and the discriminator in bounded BCK-algebras ⋮ Bounded BCK-algebras and their generated variety

Cites Work

• On axiom systems of propositional calculi, XIV
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Impossibility of defining the class of \(L_ 0\)-algebras by means of identities