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

DOI10.1007/S10773-007-9468-1MaRDI QIDQ2426166zbMATH OpenOpenAlexFDO

Authors Ivan Chajda, Radomír Halaš

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

MV-algebrabasic algebraBCK-algebraBCC-algebraŁukasiewicz logic

Mathematics Subject Classification ID

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

Recommendations

• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?
• A characterization of commutative basic algebras
• Complete commutative basic algebras
• Bounded lattices with antitone involutions and properties of MV-algebras
• Finite commutative basic algebras are MV-effect algebras

Cites work

• scientific article; zbMATH DE number 3880692 (Why is no real title available?)
• scientific article; zbMATH DE number 4029565 (Why is no real title available?)
• scientific article; zbMATH DE number 3598466 (Why is no real title available?)
• scientific article; zbMATH DE number 2213264 (Why is no real title available?)
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• On axiom systems of propositional calculi, XIV

Cited in

(9)

• Are basic algebras residuated structures?
• Independence of axiom system of basic algebras
• A non-associative generalization of Hájek's BL-algebras
• Bounded lattices with antitone involutions and properties of MV-algebras
• Strong NMV-algebras, commutative basic algebras and naBL-algebras.
• Monadic basic algebras
• WHEN IS A BCC-ALGEBRA EQUIVALENT TO AN MV-ALGEBRA?
• Simple logics for basic algebras
• Commutative basic algebras and non-associative fuzzy logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2426166)