scientific article; zbMATH DE number 2172902

MaRDI QIDQ4680302zbMATH OpenFDO

Authors Antonio Di Nola, Peter L. Belluce

Publication date 7 June 2005

zbMATH Keywords

MV-algebrasŁukasiewicz logicScarpellini formulas

Mathematics Subject Classification ID

Many-valued logic (03B50) Other algebras related to logic (03G25) MV-algebras (06D35)

Recommendations

• Another proof of the completeness of the Łukasiewicz axioms and of the extensions of Di Nola's theorem.
• A geometric proof of the completeness of the Łukasiewicz calculus
• Perfect MV-algebras and their logic
• Advanced Łukasiewicz calculus and MV-algebras
• Pavelka-style completeness in expansions of Łukasiewicz logic

Cited in

(7)

• scientific article; zbMATH DE number 2070196 (Why is no real title available?)
• scientific article; zbMATH DE number 5670715 (Why is no real title available?)
• Abelian \(\ell\)-groups with strong unit and perfect MV-algebras
• Perfect MV-algebras and their logic
• Representation of MV-algebras by regular ultrapowers of \([0,1]\)
• Representation of perfect and local MV-algebras
• Forcing in Łukasiewicz predicate logic

This page was built for publication:

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