𝔖 Bobbio Scriptorium
✦   LIBER   ✦

The Content of Propositional Attitudes

✍ Scribed by Burge, Tyler

Year
0
Tongue
English
Weight
103 KB
Category
Fiction

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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