A secondary semantics for Second Order Intuitionistic Propositional Logic

✍ Scribed by Mauro Ferrari; Camillo Fiorentini; Guido Fiorino

• Publisher: John Wiley and Sons
• Year: 2004
• Tongue: English
• Weight: 159 KB
• Volume: 50
• Category: Article
• ISSN: 0044-3050
• DOI: 10.1002/malq.200310090

✦ Synopsis

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)