Skip to main content
SpringerLink
Log in

Consequence and Interpolation in Łukasiewicz Logic

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Hay L.S.: ‘Axiomatization of the infinite-valued predicate calculus’. Journal of Symbolic Logic 28, 77–86 (1963)

    Article  Google Scholar 

  2. Ł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.

  3. 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)

    Article  Google Scholar 

  4. Mundici D.: ‘The derivative of truth in Łukasiewicz sentential calculus’, Contemporary Mathematics. American Mathematical Society 69, 209–227 (1988)

    Google Scholar 

  5. Pogorzelski W.A.: ‘A survey of deduction theorems for sentential calculi’, (in Polish). Studia Logica 15, 163–178 (1964)

    Article  Google Scholar 

  6. 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.

  7. Wójcicki R.: Theory of Logical Calculi: Basic Theory of Consequence Operations, Synthese Library, Vol. 199. Kluwer, Dordrecht (1988)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics “Ulisse Dini”, University of Florence, Viale Morgagni 67/a, 50134, Florence, Italy

    Daniele Mundici

Authors
  1. Daniele Mundici
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Daniele Mundici.

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

Reprints 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

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1007/s11225-011-9352-0

Keywords

Search

Navigation