Publication:5221856

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

Ioana Leuştean, S. Lapenta

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) Ordered rings, algebras, modules (06F25) MV-algebras (06D35)

Cited In (2)

• 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)