|
|||||
|
|
A secondary semantics for Second Order Intuitionistic Propositional Logic |
|
| Authors: | Mauro Ferrari Camillo Fiorentini Guido Fiorino |
| 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) |
| Keywords: | Intuitionistic logic propositional second order logic tableau calculus disjunction property explicit definability property |