𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A new way of normalizing intuitionist propositional logic

✍ Scribed by Garrel Pottinger

Publisher
Springer Netherlands
Year
1976
Tongue
English
Weight
958 KB
Volume
35
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A(nother) characterization of intuitioni
A(nother) characterization of intuitionistic propositional logic
✍ Rosalie Iemhoff πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 123 KB

In Iemho (J. Symbolic Logic, to appear) we gave a countable basis V for the admissible rules of IPC . Here, we show that there is no proper superintuitionistic logic with the disjunction property for which all rules in V are admissible. This shows that, relative to the disjunction property, IPC is m

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