Consequence and interpolation in Łukasiewicz logic (Q647417)

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.