Consequence and interpolation in Łukasiewicz logic

DOI10.1007/S11225-011-9352-0MaRDI QIDQ647417zbMATH OpenOpenAlexFDO

Authors Daniele Mundici

Publication date 23 November 2011

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-011-9352-0

zbMATH Keywords

consequence relationsdeduction theoremdeductive interpolationinfinite-valued logicrational polyhedraŁukasiewicz logic

Mathematics Subject Classification ID

Many-valued logic (03B50)

Review text

The classical deduction theorem does not hold in Łukasiewicz propositional calculus, but a weaker version holds: a formula \(\psi\) is derivable from \(\varphi\) if and only if there is an integer \(m\) such that the formula \(\varphi^m \to \psi\) is a theorem. Also a deductive interpolation holds in infinite-valued Łukasiewicz logic: for any two formulas \(\varphi\) and \(\psi\) such that \(\varphi \vdash \psi\) there exists a formula \(\vartheta\) such that \(\varphi \vdash \vartheta\), \( \vartheta \vdash \psi\) and the variables of \(\vartheta\) are among the variables common to \(\varphi\) and \(\psi\). In this paper (published in a special issue in honor of Ryszard Wojcicki, who has made important contributions in this field), the author uses the geometry of Łukasiewicz logic to give an alternative proof of the deduction and the interpolation theorems. The paper is written with the typical perspicuity of the author and, as is said in the abstract, can be read as an introduction to the geometry of Łukasiewicz logic.

Recommendations

• An interpolation theorem in many-valued logic
• scientific article; zbMATH DE number 3902624
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth
• A geometric proof of the completeness of the Łukasiewicz calculus
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics

Cites work

• A survey of deduction theorems for the propositional calculi
• Axiomatization of the infinite-valued predicate calculus
• scientific article; zbMATH DE number 4057480 (Why is no real title available?)
• Interpolation and Beth's property in propositional many-valued logics: a semantic investigation
• Theory of logical calculi. Basic theory of consequence operations

Cited in

(14)

• A way to interpret Łukasiewicz logic and basic logic
• Amalgamation and interpolation in ordered algebras.
• Uniform interpolation and compact congruences
• An asymptotically tight bound on countermodels for Łukasiewicz logic
• The differential semantics of Łukasiewicz syntactic consequence
• An interpolation theorem in many-valued logic
• Infinite-valued Łukasiewicz logic based on principal lattice filters
• On the set of intermediate logics between the truth- and degree-preserving Łukasiewicz logics
• Łukasiewicz logic: an introduction
• Distributivity in Ł\(_{\aleph_0}\) and other sentential logics
• The Modelwise Interpolation Property of Semantic Logics
• A note on fixed points in Łukasiewicz logic
• The Craig interpolation property in first-order Gödel logic
• On the infinite-valued Łukasiewicz logic that preserves degrees of truth

This page was built for publication: Consequence and interpolation in Łukasiewicz logic

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