A general view on normal form theorems for Łukasiewicz logic with product

DOI10.1515/9781501502620-013MaRDI QIDQ5221856zbMATH OpenOpenAlexFDO

Authors S. Lapenta, Ioana Leuştean

Publication date 3 April 2020

Published in Concepts of Proof in Mathematics, Philosophy, and Computer Science (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4398622a5a4cbdc64d28aeaa0f97961c5ebb9458

zbMATH Keywords

MV-algebrasnormal form theoremPierce-Birkhoff conjectureŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50) MV-algebras (06D35) Ordered rings, algebras, modules (06F25)

Recommendations

• Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
• scientific article; zbMATH DE number 2030506
• Product Łukasiewicz logic
• The conservative extension of MV-algebras to Pavelka algebras
• Rational Pavelka predicate logic is a conservative extension of Łukasiewicz predicate logic

Cited in

(3)

• Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
• On normal forms in Łukasiewicz logic
• SOME (NON)TAUTOLOGIES OF ŁUKASIEWICZ AND PRODUCT LOGIC

This page was built for publication: A general view on normal form theorems for Łukasiewicz logic with product

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