Abstract
Building on Wójcicki’s work on infinite-valued Łukasiewicz logic Ł∞, we give a self-contained proof of the deductive interpolation theorem for Ł∞. This paper aims at introducing the reader to the geometry of Łukasiewicz logic.
Similar content being viewed by others
References
Hay L.S.: ‘Axiomatization of the infinite-valued predicate calculus’. Journal of Symbolic Logic 28, 77–86 (1963)
Łukasiewicz, J., and A. Tarski, ‘Untersuchungen über den Aussagenkalkül’, Comptes Rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 23 1930, R, pp. 30–50. English translation: ‘Investigations into the Sentential Calculus’, Chapter IV in A. Tarski, Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956. Reprinted: Hackett, Indianapolis, 1983.
Montagna F.: ‘Interpolation and Beth’s property in propositional many-valued logics: A semantical investigation’. Annals of Pure and Applied Logic 141, 148–179 (2006)
Mundici D.: ‘The derivative of truth in Łukasiewicz sentential calculus’, Contemporary Mathematics. American Mathematical Society 69, 209–227 (1988)
Pogorzelski W.A.: ‘A survey of deduction theorems for sentential calculi’, (in Polish). Studia Logica 15, 163–178 (1964)
Wójcicki, R., ‘On matrix representations of consequence operations of Łukasiewicz sentential calculi’, Zeitschrift für math. Logik und Grundlagen der Mathematik, 19:239– 247, 1973. Reprinted, in R. Wójcicki, G. Malinowski (eds.), Selected Papers on Łukasiewicz Sentential Calculi, Ossolineum, Wrocław, 1977, pp. 101–111.
Wójcicki R.: Theory of Logical Calculi: Basic Theory of Consequence Operations, Synthese Library, Vol. 199. Kluwer, Dordrecht (1988)
Author information
Authors and Affiliations
Corresponding author
Additional information
Honoring Ryszard Wójcicki on his 80th birthday
Special issue in honor of Ryszard Wójcicki on the occasion of his 80th birthday Edited by J. Czelakowski, W. Dziobiak, and J. Malinowski
Rights and permissions
About this article
Cite this article
Mundici, D. Consequence and Interpolation in Łukasiewicz Logic. Stud Logica 99, 269 (2011). https://doi.org/10.1007/s11225-011-9352-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11225-011-9352-0