𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On Second Order Intuitionistic Propositional Logic without a Universal Quantifier

✍ Scribed by Konrad Zdanowski

Book ID
124974768
Publisher
Association for Symbolic Logic
Year
2009
Tongue
English
Weight
788 KB
Volume
74
Category
Article
ISSN
0022-4812

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A secondary semantics for Second Order I
A secondary semantics for Second Order Intuitionistic Propositional Logic
✍ Mauro Ferrari; Camillo Fiorentini; Guido Fiorino πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley and Sons 🌐 English βš– 159 KB

## 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 s