𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bounds for cut elimination in intuitionistic propositional logic

✍ Scribed by Jörg Hudelmaier

Publisher
Springer
Year
1992
Tongue
English
Weight
979 KB
Volume
31
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

CUT ELIMINATION FOR PROPOSITIONAL DYNAMI
CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT
✍ Robert A. Bull 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 764 KB

## Abstract The aim of this paper is to extend the semantic analysis of tense logic in Rescher/Urquhart [3] to propositional dynamic logic without\*. For this we develop a nested sequential calculus whose axioms and rules directly reflect the steps in the semantic analysis. It is shown that this ca

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