𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Intuitive minimal abduction in sequent calculi

✍ Scribed by Bo Yi; Xianping Tao; Cioni G.; Colagrossi A.

Book ID
105664512
Publisher
Springer
Year
1998
Tongue
English
Weight
646 KB
Volume
13
Category
Article
ISSN
1000-9000

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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