AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS

DOI10.1002/MALQ.19840300106MaRDI QIDQ3344199zbMATH OpenOpenAlexFDO

Authors Roberto Cignoli

Publication date 1984

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19840300106

zbMATH Keywords

completeness theoremŁukasiewicz logicŁukasiewicz algebra

Mathematics Subject Classification ID

Many-valued logic (03B50) Logical aspects of ?ukasiewicz and Post algebras (03G20)

Recommendations

• A determination principle for algebras of \(n\)-valued Łukasiewicz logic
• Functional monadic $n$-valued Łukasiewicz algebras
• \(n\times m\)-valued Łukasiewicz algebras with negation
• Lukasiewicz-Moisil algebras
• Notes onn×m-valued Łukasiewicz Algebras with Negation

Cited in

(7)

• Germinal theories in Łukasiewicz logic
• Localization of \(LM_n\)-algebras
• Monteiro's algebraic notion of maximal consistent theory for Tarskian logics
• Elimination of Quantifiers on Łukasiewicz Logics
• The Algebras of Łukasiewicz Many-Valued Logic: A Historical Overview
• Probabilities on Lukasiewicz-Moisil algebras
• On finite-valued propositional logical calculi

This page was built for publication: AN ALGEBRAIC APPROACH TO ELEMENTARY THEORIES BASED ON n‐VALUED LUKASIEWICZ LOGICS

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