Journal of Symbolic Logic 60 (2):498 - 504 (1995)
A definition is given for formulae A 1 ,...,A n in some theory T which is formalized in a propositional calculus S to be (in)dependent with respect to S. It is shown that, for intuitionistic propositional logic IPC, dependency (with respect to IPC itself) is decidable. This is an almost immediate consequence of Pitts' uniform interpolation theorem for IPC. A reasonably simple infinite sequence of IPC-formulae F n (p, q) is given such that IPC-formulae A and B are dependent if and only if at least on the F n (A, B) is provable.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
The Decidability of Dependency in Intuitionistic Propositional Logi.de Jongh Dick & L. A. Chagrova - 1995 - Journal of Symbolic Logic 60 (2):498-504.
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.
A Free IPC is a Natural Logic: Strong Completeness for Some Intuitionistic Free Logics.Carl J. Posy - 1982 - Topoi 1 (1-2):30-43.
Extendible Formulas in Two Variables in Intuitionistic Logic.Nick Bezhanishvili & Dick Jongh - 2012 - Studia Logica 100 (1-2):61-89.
Second Order Propositional Operators Over Cantor Space.Tomasz Połacik - 1994 - Studia Logica 53 (1):93 - 105.
On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion.Romà J. Adillon & Ventura Verdú - 2000 - Studia Logica 65 (1):11-30.
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction.C. J. van Alten & J. G. Raftery - 1999 - Studia Logica 63 (2):213-222.
A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.
Propositional Quantification in the Monadic Fragment of Intuitionistic Logic.Tomasz Połacik - 1998 - Journal of Symbolic Logic 63 (1):269-300.
Added to index2011-05-29
Total downloads5 ( #582,783 of 2,146,211 )
Recent downloads (6 months)1 ( #387,123 of 2,146,211 )
How can I increase my downloads?
There are no threads in this forum
Nothing in this forum yet.