- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Consequence and Interpolation in Łukasiewicz Logic
Studia Logica 99 (1-3):269-278 (2011)
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 logicMy notes
Similar books and articles
Dual Equivalent Two-valued Under-determined and Over-determined Interpretations for Łukasiewicz's 3-valued Logic Ł3.Gemma Robles, Francisco Salto & José M. Méndez - 2013 - Journal of Philosophical Logic (2-3):1-30.
A geometric proof of the completeness of the łukasiewicz calculus.Giovanni Panti - 1995 - Journal of Symbolic Logic 60 (2):563-578.
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.
Unification of Two Approaches to Quantum Logic: Every Birkhoff -von Neumann Quantum Logic is a Partial Infinite-Valued Łukasiewicz Logic.Jarosław Pykacz - 2010 - Studia Logica 95 (1-2):5 - 20.
Finiteness in infinite-valued łukasiewicz logic.Stefano Aguzzoli & Agata Ciabattoni - 2000 - Journal of Logic, Language and Information 9 (1):5-29.
Łukasiewicz logic and the foundations of measurement.Michael Katz - 1981 - Studia Logica 40 (3):209 - 225.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Privations, Negations and the Square: Basic Elements of a Logic of Privations.Stamatios Gerogiorgakis - 2012 - In Jean-Yves Beziau & Dale Jacquette (eds.), Around and beyond the Square of Opposition. Birkhäuser-Springer. pp. 229--239.
Giles’s Game and the Proof Theory of Łukasiewicz Logic.Christian G. Fermüller & George Metcalfe - 2009 - Studia Logica 92 (1):27 - 61.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Forcing in łukasiewicz predicate logic.Antonio Di Nola, George Georgescu & Luca Spada - 2008 - Studia Logica 89 (1):111-145.
Analytics
Added to PP
2011-08-27
Downloads
45 (#347,159)
6 months
4 (#793,623)
2011-08-27
Downloads
45 (#347,159)
6 months
4 (#793,623)
Historical graph of downloads
Citations of this work
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.
The Modelwise Interpolation Property of Semantic Logics.Zalán Gyenis, Zalán Molnár & Övge Öztürk - 2023 - Bulletin of the Section of Logic 52 (1):59-83.
References found in this work
On matrix representations of consequence operations of Łlukasiewicz's sentential calculi.Ryszard Wójcicki - 1973 - Mathematical Logic Quarterly 19 (14‐18):239-247.
Interpolation and Beth’s property in propositional many-valued logics: A semantic investigation.Franco Montagna - 2006 - Annals of Pure and Applied Logic 141 (1):148-179.
Przegląd twierdzeń o dedukcji dla rachunków zdań.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):163-178.
Axiomatization of the infinite-valued predicate calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
Twierdzenie O dedukcji dla wielowartościowych rachunków zdań łukasiewicza.Witold A. Pogorzelski - 1964 - Studia Logica 15 (1):20-21.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-ms9hf uwo