On normal forms in Łukasiewicz logic

DOI10.1007/s00153-004-0230-6zbMath1061.03026OpenAlexW1965584163MaRDI QIDQ1882628

Ada Lettieri, Antonio Di Nola

Publication date: 1 October 2004

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-004-0230-6

zbMATH Keywords

normal formsmany-valued logicinfinite-valued Łukasiewicz logicsimple McNaughton functions

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Many-valued logic (03B50)

Related Items (5)

Łukasiewicz transform and its application to compression and reconstruction of digital images ⋮ Normal forms for fuzzy logics: a proof-theoretic approach ⋮ Topological properties of prime filters in MTL-algebras and fuzzy set representations for MTL-algebras ⋮ The semiring-theoretic approach to MV-algebras: a survey ⋮ Functions represented by BL-algebra formulas: characterization and approximate representation

Cites Work

• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• The complexity of McNaughton functions of one variable
• Normal forms for fuzzy logic functions and their approximation ability
• Interpolation in fuzzy logic
• One chain generated varieties of MV-algebras
• Algebraic Analysis of Many Valued Logics
• Fragments of Many-Valued Statement Calculi
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A constructive proof of McNaughton's theorem in infinite-valued logic
• A geometric proof of the completeness of the Łukasiewicz calculus
• A theorem about infinite-valued sentential logic

This page was built for publication: On normal forms in Łukasiewicz logic