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

DOI10.1515/9781501502620-013zbMATH Open1433.06002OpenAlexW2489990086MaRDI QIDQ5221856FDOQ5221856

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

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

zbMATH Keywords

MV-algebrasnormal form theoremPierce-Birkhoff conjectureŁukasiewicz logic

Mathematics Subject Classification ID

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

Cited In (3)

• On normal forms in Łukasiewicz logic
• Towards understanding the Pierce-Birkhoff conjecture via MV-algebras
• 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)