Publication:3855183
From MaRDI portal
zbMath0422.03038MaRDI QIDQ3855183
Publication date: 1979
variety; De Morgan algebra; implication algebra; subdirectly irreducibles; bounded commutative BCK-algebras
03G25: Other algebras related to logic
06D30: De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects)
Related Items
On complete $MV$-algebras, The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview, Quasi-orthomodular posets and weak BCK-algebras., Measure-free conditioning and extensions of additive measures on finite MV-algebras, The Priestley duality for Wajsberg algebras, On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras, A complete characterization of all weakly additive measures and of all valuations on the canonical extension of any finite MV-chain, Complete and atomic algebras of the infinite valued Łukasiewicz logic, Wajsberg algebras and Post algebras, On the structure of varieties with equationally definable principal congruences. III, Varieties of commutative residuated integral pomonoids and their residuation subreducts, Concerning cone algebras, Morita equivalence of almost-primal clones, Spectral properties of cBCK-algebras, Concerning bricks