๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Proof theory and complexity

โœ Scribed by Carlo Cellucci


Publisher
Springer Netherlands
Year
1985
Tongue
English
Weight
600 KB
Volume
62
Category
Article
ISSN
0039-7857

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Proof theory and set theory
โœ Gaisi Takeuti ๐Ÿ“‚ Article ๐Ÿ“… 1985 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 452 KB
Language and proof theory
โœ Dov Gabbay; Ruth Kempson ๐Ÿ“‚ Article ๐Ÿ“… 1996 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 321 KB
Optimization complexity of linear logic
โœ Patrick D. Lincoln; John C. Mitchell; Andre Scedrov ๐Ÿ“‚ Article ๐Ÿ“… 1999 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 218 KB

A class of linear logic proof games is developed, each with a numeric score that depends on the number of preferred axioms used in a complete or partial proof tree. The complexity of these games is analyzed for the NP-complete multiplicative fragment (MLL) extended with additive constants and the PS