- 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
Interpolation in Normal Extensions of the Brouwer Logic
Bulletin of the Section of Logic 45 (3/4) (2016)
Abstract
The Craig interpolation property and interpolation property for deducibility are considered for special kind of normal extensions of the Brouwer logic.Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.
Interpolation and implicit definability in extensions of the provability logic.Larisa Maksimova - 2008 - Logic and Logical Philosophy 17 (1-2):129-142.
Interpolation and Definability over the Logic Gl.Larisa Maksimova - 2011 - Studia Logica 99 (1-3):249-267.
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.
The Craig Interpolation Theorem in abstract model theory.Jouko Väänänen - 2008 - Synthese 164 (3):401-420.
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.
Craig interpolation for semilinear substructural logics.Enrico Marchioni & George Metcalfe - 2012 - Mathematical Logic Quarterly 58 (6):468-481.
Algebraic Characterization of the Local Craig Interpolation Property.Zalán Gyenis - 2018 - Bulletin of the Section of Logic 47 (1):45-58.
The fixed point and the Craig interpolation properties for sublogics of $$\textbf{IL}$$.Sohei Iwata, Taishi Kurahashi & Yuya Okawa - 2024 - Archive for Mathematical Logic 63 (1):1-37.
Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.
Analytics
Added to PP
2019-06-09
Downloads
7 (#1,408,163)
6 months
1 (#1,723,673)
2019-06-09
Downloads
7 (#1,408,163)
6 months
1 (#1,723,673)
Historical graph of downloads
Citations of this work
References found in this work
Logical matrices and the amalgamation property.Janusz Czelakowski - 1982 - Studia Logica 41 (4):329 - 341.
Systems of modal logic which are not unreasonable in the sense of halldén.J. C. C. McKinsey - 1953 - Journal of Symbolic Logic 18 (2):109-113.
Some failures of interpolation in modal logic.George F. Schumm - 1986 - Notre Dame Journal of Formal Logic 27 (1):108-110.
On Halldén Completeness of Modal Logics Determined by Homogeneous Kripke Frames.Zofia Kostrzycka - 2015 - Bulletin of the Section of Logic 44 (3/4):111-130.
The extensions of BAlt.David Ullrich & Michael Byrd - 1977 - Journal of Philosophical Logic 6 (1):109 - 117.
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-6686886f5-sqlzn uwo