A basic algebra is an MV-algebra if and only if it is a BCC-algebra

DOI10.1007/s10773-007-9468-1zbMath1145.06003OpenAlexW1991167533MaRDI QIDQ2426166

Radomír Halaš, Ivan Chajda

Publication date: 21 April 2008

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

Full work available at URL: https://doi.org/10.1007/s10773-007-9468-1

zbMATH Keywords

BCK-algebraMV-algebraŁukasiewicz logicBCC-algebrabasic algebra

Mathematics Subject Classification ID

BCK-algebras, BCI-algebras (06F35) Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (6)

Are basic algebras residuated structures? ⋮ A non-associative generalization of Hájek's BL-algebras ⋮ Unnamed Item ⋮ Strong NMV-algebras, commutative basic algebras and naBL-algebras ⋮ Independence of axiom system of basic algebras ⋮ Commutative basic algebras and non-associative fuzzy logics

Cites Work

• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• On axiom systems of propositional calculi, XIV
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A basic algebra is an MV-algebra if and only if it is a BCC-algebra