On the variety generated by bounded pseudo-BCK-algebras

DOI10.1007/s10773-009-0092-0zbMath1204.81013MaRDI QIDQ616842

Radomír Halaš

Publication date: 12 January 2011

Published in: International Journal of Theoretical Physics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10773-009-0092-0

zbMATH Keywords

variety; simple algebra; pseudo-BCK-algebra; relative simple algebra

Mathematics Subject Classification ID

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

06A11: Algebraic aspects of posets

Related Items

A non-associative generalization of Hájek's BL-algebras

Cites Work

• Residuated lattices. An algebraic glimpse at substructural logics
• On the quasivariety of BCK-algebras and its subvarieties
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Generalization of blocks for \(D\)-lattices and lattice-ordered effect algebras
• Representable pseudo-BCK-algebras and integral residuated lattices
• Bounded BCK-algebras and their generated variety
• A non-commutative generalization of MV-algebras
• An algebra related with a propositional calculus
• Pseudoeffect algebras. I: Basic properties
• Pseudoeffect algebras. II: Group representations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item