On the structure of linearly ordered pseudo-BCK-algebras

DOI10.1007/s00153-009-0151-5zbMath1182.06009OpenAlexW2009985887MaRDI QIDQ1042440

Anatolij Dvurečenskij, Jan Kühr

Publication date: 14 December 2009

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-009-0151-5

zbMATH Keywords

pseudo-MV-algebracone algebraordinal sumpseudo-BCK-algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) MV-algebras (06D35) Quantum logic (03G12)

Related Items

Pseudo equality algebras ⋮ Non-commutative logical algebras and algebraic quantales ⋮ Pseudo-BCK algebras as partial algebras ⋮ Quantum B-algebras: their omnipresence in algebraic logic and beyond ⋮ Some properties of pseudo-BCK- and pseudo-BCI-algebras ⋮ Involutive filters of pseudo-hoops

Uses Software

• Pseudo Hoops

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Bosbach states on fuzzy structures
• Algebras in the positive cone of po-groups
• On the structure of generalized BL-algebras
• Every linear pseudo BL-algebra admits a state
• Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
• Generalized MV-algebras
• Varieties of BL-algebras. I: General properties.
• Concerning cone algebras
• On the structure of hoops
• On varieties of biresiduation algebras
• Representable pseudo-BCK-algebras and integral residuated lattices
• Decomposition of BL-chains
• A non-commutative generalization of MV-algebras
• Pseudo MV-algebras are intervals in ℓ-groups
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Komplementäre Halbgruppen Kongruenzen und Quotienten
• States on pseudo MV-algebras