Universal properties of Łukasiewicz consequence

DOI10.1007/s11787-013-0091-zzbMath1344.03029OpenAlexW2033732651MaRDI QIDQ2254556

Daniele Mundici

Publication date: 5 February 2015

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-013-0091-z

zbMATH Keywords

implicationŁukasiewicz logicBolzano-Tarski consequencecontinuous connectiveSmets-Magrez theoremstable consequence

Mathematics Subject Classification ID

Many-valued logic (03B50)

Related Items (1)

Implicit definability of truth constants in Łukasiewicz logic

Cites Work

• Unnamed Item
• Advanced Łukasiewicz calculus and MV-algebras
• \((S,N)\)- and \(R\)-implications: A state-of-the-art survey
• Satisfiability in many-valued sentential logic is NP-complete
• Implication in fuzzy logic
• Algebraic foundations of many-valued reasoning
• Residual implications revisited. Notes on the Smets-Magrez theorem.

This page was built for publication: Universal properties of Łukasiewicz consequence