- 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
Doing logic by computer: interpolation in fragments of intuitionistic propositional logic
Annals of Pure and Applied Logic 104 (1-3):97-112 (2000)
Abstract
In this paper we study the interpolation property in fragments of intuitionistic and propositional logic, using both proof theoretic and semantic techniques. We will also sketch some computational methods, based on the semantical techniques introduced, to obtain counterexamples in fragment where interpolation does not holdOther Versions
No versions found
My notes
Similar books and articles
Interpolation in fragments of classical linear logic.Dirk Roorda - 1994 - Journal of Symbolic Logic 59 (2):419-444.
Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
Interpolation Property on Visser's Formal Propositional Logic.Majid Alizadeh & Masoud Memarzadeh - 2022 - Bulletin of the Section of Logic 51 (3):297-316.
Interpolation theorems for intuitionistic predicate logic.G. Mints - 2001 - Annals of Pure and Applied Logic 113 (1-3):225-242.
On lengths of proofs in non-classical logics.Pavel Hrubeš - 2009 - Annals of Pure and Applied Logic 157 (2-3):194-205.
Remarks on uniform interpolation property.Majid Alizadeh - 2024 - Logic Journal of the IGPL 32 (5):810-814.
Full Cut Elimination and Interpolation for Intuitionistic Logic with Existence Predicate.Paolo Maffezioli & Eugenio Orlandelli - 2019 - Bulletin of the Section of Logic 48 (2):137-158.
Hypersequent calculi for intuitionistic logic with classical atoms.Hidenori Kurokawa - 2010 - Annals of Pure and Applied Logic 161 (3):427-446.
On the computational content of intuitionistic propositional proofs.Samuel R. Buss & Pavel Pudlák - 2001 - Annals of Pure and Applied Logic 109 (1-2):49-64.
Interpolation and definability in guarded fragments.Eva Hoogland & Maarten Marx - 2002 - Studia Logica 70 (3):373 - 409.
Analytics
Added to PP
2014-01-16
Downloads
29 (#812,446)
6 months
7 (#469,699)
2014-01-16
Downloads
29 (#812,446)
6 months
7 (#469,699)
Historical graph of downloads
Citations of this work
References found in this work
On an interpretation of second order quantification in first order intuitionistic propositional logic.Andrew M. Pitts - 1992 - Journal of Symbolic Logic 57 (1):33-52.
Interpolation in fragments of intuitionistic propositional logic.Gerard R. Renardel de Lavalette - 1989 - Journal of Symbolic Logic 54 (4):1419-1430.
Interpolation and amalgamation properties in varieties of equivalential algebras.Małgorzata Porębska - 1986 - Studia Logica 45 (1):35 - 38.
Kurt Schütte. Der Interpolationssatz der intuitionistischen Prädikatenlogik. Mathematische Annalen, vol. 148 , pp. 192–200. [REVIEW]Ronald Harrop - 1964 - Journal of Symbolic Logic 29 (3):145-146.
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-8d48cdbf4-jdnsr uwo