WHAT THE ŁUKASIEWICZ AXIOMS MEAN

DOI10.1017/JSL.2020.74zbMath1476.03030OpenAlexW3097445965MaRDI QIDQ5855741

Daniele Mundici

Publication date: 19 March 2021

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/jsl.2020.74

zbMATH Keywords

MV-algebraŁukasiewicz logicWajsberg algebraexchange propertyŁukasiewicz calculusŁukasiewicz implication\([0,1\)-valued logic]Modus PonensŁukasiewicz axioms\([0,1\)-valued event]\([0,1\)-valued observable]order determining implication

Mathematics Subject Classification ID

MV-algebras (06D35) Many-valued logic (03B50)

Related Items (1)

AF-algebras with lattice-ordered \(K_0\): logic and computation

Cites Work

• Advanced Łukasiewicz calculus and MV-algebras
• Fuzzy implications
• Triangular norms
• Algebraic foundations of many-valued reasoning

This page was built for publication: WHAT THE ŁUKASIEWICZ AXIOMS MEAN