Mathematical Logic Quarterly 50 (2):202-210 (2004)
| Abstract |
In this paper we propose a Kripke-style semantics for second order intuitionistic propositional logic and we provide a semantical proof of the disjunction and the explicit definability property. Moreover, we provide a tableau calculus which is sound and complete with respect to such a semantics
|
| Keywords | tableau calculus disjunction property propositional second order logic explicit definability property Intuitionistic logic |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.200310090 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
Non-Axiomatizable Second Order Intuitionistic Propositional Logic.D. Skvortsov - 1997 - Annals of Pure and Applied Logic 86 (1):33-46.
Avoiding Duplications in Tableau Systems for Intuitionistic Logic and Kuroda Logic.P. Miglioli, U. Moscato & M. Ornaghi - 1997 - Logic Journal of the IGPL 5 (1):145-167.
Citations of this work BETA
No citations found.
Similar books and articles
On the Complexity of Propositional Quantification in Intuitionistic Logic.Philip Kremer - 1997 - Journal of Symbolic Logic 62 (2):529-544.
A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.
A Syntactic Embedding of Predicate Logic Into Second-Order Propositional Logic.Morten H. Sørensen & Paweł Urzyczyn - 2010 - Notre Dame Journal of Formal Logic 51 (4):457-473.
A Tableau Calculus for Propositional Intuitionistic Logic with a Refined Treatment of Nested Implications.Mauro Ferrari, Camillo Fiorentini & Guido Fiorino - 2009 - Journal of Applied Non-Classical Logics 19 (2):149-166.
The Finite Model Property for Knotted Extensions of Propositional Linear Logic.C. J. van Alten - 2005 - Journal of Symbolic Logic 70 (1):84-98.
A Modal Calculus Analogous to K4w, Based on Intuitionistic Propositional Logic, Iℴ.Aldo Ursini - 1979 - Studia Logica 38 (3):297 - 311.
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.
Expressing Second-Order Sentences in Intuitionistic Dependence Logic.Fan Yang - 2013 - Studia Logica 101 (2):323-342.
Towards Intuitionistic Dynamic Logic.J. W. Degen & J. M. Werner - 2006 - Logic and Logical Philosophy 15 (4):305-324.
Metalogic of Intuitionistic Propositional Calculus.Alex Citkin - 2010 - Notre Dame Journal of Formal Logic 51 (4):485-502.
On Second Order Intuitionistic Propositional Logic Without a Universal Quantifier.Konrad Zdanowski - 2009 - Journal of Symbolic Logic 74 (1):157-167.
On a Second Order Propositional Operator in Intuitionistic Logic.A. S. Troelstra - 1981 - Studia Logica 40 (2):113 - 139.
Analytics
Added to PP index
2013-12-01
Total views
102 ( #116,227 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
2013-12-01
Total views
102 ( #116,227 of 2,519,597 )
Recent downloads (6 months)
1 ( #406,756 of 2,519,597 )
How can I increase my downloads?
Downloads
