Consequence and Interpolation in Łukasiewicz Logic

Studia Logica 99 (1-3):269-278 (2011)
  Copy   BIBTEX


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



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Translating from łukasiewicz's logics into classical logic: Is it possible?Itala M. Loffredo D'Ottaviano & Hércules Araujo Feitosa - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):157-168.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.


Added to PP

43 (#339,130)

6 months
3 (#643,273)

Historical graph of downloads
How can I increase my downloads?