Back to Search
Start Over
A secondary semantics for Second Order Intuitionistic Propositional Logic.
- Source :
-
Mathematical Logic Quarterly . Mar2004, Vol. 50 Issue 2, p202-210. 9p. - Publication Year :
- 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. (© 2004 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim) [ABSTRACT FROM AUTHOR]
Details
- Language :
- English
- ISSN :
- 09425616
- Volume :
- 50
- Issue :
- 2
- Database :
- Academic Search Index
- Journal :
- Mathematical Logic Quarterly
- Publication Type :
- Academic Journal
- Accession number :
- 13727432
- Full Text :
- https://doi.org/10.1002/malq.200310090