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

basic algebraBCC-algebraBCK-algebraMV-algebraŁukasiewicz logic

Mathematics Subject Classification ID

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

Review text

Basic algebras are the algebras of \textit{P. Hájek}'s Basic Logic (see his monograph [Metamathematics of fuzzy logic. Dordrecht: Kluwer (1998; Zbl 0937.03030)]). MV-algebras were introduced by C. C. Chang to give a proof of the completeness theorem for Łukasiewicz infinite-valued propositional logic (see the monograph [\textit{R. L. O. Cignoli}, \textit{I. M. L. D'Ottaviano} and \textit{D. Mundici}, Algebraic foundations of many-valued reasoning. Dordrecht: Kluwer (2000; Zbl 0937.06009)]). BCK-algebras were introduced by \textit{K. Iséki} and \textit{S. Tanaka} [Math. Jap. 23, 1--26 (1978; Zbl 0385.03051)]. BCC-algebras are BCK-algebras satisfying the Exchange Identity: \(x\to (y\to z)= y\to (x\to z)\). In the paper under review the authors prove that a basic algebra is an MV-algebra iff it is a BCC-algebra.

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

• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• 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?)
• On axiom systems of propositional calculi, XIV

Cited in

(9)

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

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)