scientific article; zbMATH DE number 2172902

zbMATH Open1064.03015MaRDI QIDQ4680302FDOQ4680302

Authors: Antonio Di Nola, Peter L. Belluce 

Publication date: 7 June 2005

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

MV-algebrasŁukasiewicz logicScarpellini formulas

Mathematics Subject Classification ID

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

Cited In (7)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)