𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Marginalia on Sequent Calculi

✍ Scribed by A.S. Troelstra

Book ID
111561662
Publisher
Springer Netherlands
Year
1999
Tongue
English
Weight
369 KB
Volume
62
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A note on sequent calculi intermediate b
A note on sequent calculi intermediate betweenLJandLK
✍ Branislav R. BoričiΔ‡ πŸ“‚ Article πŸ“… 1988 πŸ› Springer Netherlands 🌐 English βš– 359 KB

We prove that every finitely axiomatizable extension of Heyting's intuitionistic logic has a corresponding cut-free Gentzen-type formulation. It is shown how one can use this result to find the corresponding normalizable natural deduction system and to give a criterion for separability of considered

Permutability of proofs in intuitionisti
Permutability of proofs in intuitionistic sequent calculi
✍ Roy Dyckhoff; LuΓ­s Pinto πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 962 KB

We prove a folklore theorem, that two derivations in a cut-free sequent calculus for intuitionistic propositional logic (based on Kleene's G3) are inter-permutable (using a set of basic "permutation reduction rules" derived from Kleene's work in 1952) iff they determine the same natural deduction. T