𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Some remarks on lengths of propositional proofs

✍ Scribed by Samuel R. Buss

Book ID
120105766
Publisher
Springer
Year
1995
Tongue
English
Weight
368 KB
Volume
34
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Remarks on soundness of proofs
Remarks on soundness of proofs
✍ Burmester, M.V.D.; Desmedt, Y.G. πŸ“‚ Article πŸ“… 1989 πŸ› The Institution of Electrical Engineers 🌐 English βš– 389 KB
On the computational content of intuitio
On the computational content of intuitionistic propositional proofs
✍ Samuel R Buss; Pavel PudlΓ‘k πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science 🌐 English βš– 115 KB

The paper proves reΓΏned feasibility properties for the disjunction property of intuitionistic propositional logic. We prove that it is possible to eliminate all cuts from an intuitionistic proof, propositional or ΓΏrst-order, without increasing the Horn closure of the proof. We obtain a polynomial ti