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

DOI10.1007/S10773-007-9468-1zbMATH Open1145.06003OpenAlexW1991167533MaRDI QIDQ2426166FDOQ2426166

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

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

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)

Cites Work

• Algebraic foundations of many-valued reasoning
• Algebraic Analysis of Many Valued Logics
• Title not available (Why is that?)
• On axiom systems of propositional calculi, XIV
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)