- 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 fragments of intuitionistic propositional logic
Journal of Symbolic Logic 54 (4):1419-1430 (1989)
Abstract
We show in this paper that all fragments of intuitionistic propostional logic based on a subset of the connectives $\wedge, \vee, \rightarrow, \neg$ satisfy interpolation. Fragments containing $\leftrightarrow$ or $\neg\neg$ are briefly consideredOther Versions
No versions found
Links
PhilArchive
External links
- From the Publisher via CrossRef (no proxy)
- dspace.library.uu.nl
(no proxy) - projecteuclid.org (no proxy)
- projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
- jstor.org [4] (no proxy)
- dspace.library.uu.nl [2] (no proxy)
- cambridge.org (no proxy)
- rug.nl (no proxy)
- rug.nl [2] (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
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.Lex Hendriks - 2000 - Annals of Pure and Applied Logic 104 (1-3):97-112.
Operators Defined By Propositional Quantification And Their Interpretation Over Cantor Space.Tomasz Polacik - 1993 - Reports on Mathematical Logic:67-79.
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
In What Sense is Kantian Principle of Contradiction Non-classical?Srećko Kovač - 2008 - Logic and Logical Philosophy 17 (3):251-274.
Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman.Jaap van Oosten - 1991 - Journal of Symbolic Logic 56 (3):964-973.
Monadic Fragments of Intuitionistic Control Logic.Anna Glenszczyk - 2016 - Bulletin of the Section of Logic 45 (3/4).
Reflexive Intermediate Propositional Logics.Nathan C. Carter - 2006 - Notre Dame Journal of Formal Logic 47 (1):39-62.
Genuine paracomplete logics.Verónica Borja Macías, Marcelo E. Coniglio & Alejandro Hernández-Tello - 2023 - Logic Journal of the IGPL 31 (5):961-987.
Analytics
Added to PP
2009-01-28
Downloads
77 (#281,079)
6 months
7 (#467,986)
2009-01-28
Downloads
77 (#281,079)
6 months
7 (#467,986)
Historical graph of downloads
Citations of this work
The Beth Property in Algebraic Logic.W. J. Blok & Eva Hoogland - 2006 - Studia Logica 83 (1-3):49-90.
Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.Lex Hendriks - 2000 - Annals of Pure and Applied Logic 104 (1-3):97-112.
References found in this work
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.
Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
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-6d47b8f9f5-cchjm uwo