Mathematical Logic Quarterly 50 (2):202-210 (2004)

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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Non-Axiomatizable Second Order Intuitionistic Propositional Logic.D. Skvortsov - 1997 - Annals of Pure and Applied Logic 86 (1):33-46.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A New Solution to a Problem of Hosoi and Ono.Michael Zakharyaschev - 1994 - Notre Dame Journal of Formal Logic 35 (3):450-457.
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.


Added to PP index

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?


My notes