Paper Info
Title
A secondary semantics for Second Order Intuitionistic Propositional Logic
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. (C) 2004 WILEY-VCH Verlag GmbH & Co. KGaA. Weinheim.
Year
DOI
Venue
2004
10.1002/malq.200310090
MATHEMATICAL LOGIC QUARTERLY
Keywords
Field
DocType
intuitionistic logic,propositional second order logic,tableau calculus,disjunction property,explicit definability property
Intuitionistic logic,Discrete mathematics,Autoepistemic logic,Zeroth-order logic,Classical logic,Many-valued logic,Well-formed formula,Intermediate logic,Propositional variable,Mathematics
Journal
Volume
Issue
ISSN
50
2
0942-5616
Citations 
PageRank 
References 
0
0.34
0
Authors
3
Name
Order
Citations
PageRank
Mauro Ferrari19316.05
Camillo Fiorentini212121.00
Guido Fiorino39712.71