𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Cut formulas in propositional logic

✍ Scribed by Wenhui Zhang

Publisher
Elsevier Science
Year
1993
Tongue
English
Weight
803 KB
Volume
120
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Isomorphic formulae in classical proposi
Isomorphic formulae in classical propositional logic
✍ Kosta DoΕ‘en; Zoran PetriΔ‡ πŸ“‚ Article πŸ“… 2011 πŸ› John Wiley and Sons 🌐 English βš– 170 KB

## Abstract Isomorphism between formulae is defined with respect to categories formalizing equality of deductions in classical propositional logic and in the multiplicative fragment of classical linear propositional logic caught by proof nets. This equality is motivated by generality of deductions.

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