𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on efficiency

✍ Scribed by H. Strasser

Book ID
105394389
Publisher
Springer
Year
1976
Tongue
English
Weight
356 KB
Volume
23
Category
Article
ISSN
0026-1335

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A Note on Relative Efficiency of Axiom S
A Note on Relative Efficiency of Axiom Systems
✍ Sandra Fontani; Franco Montagna; Andrea Sorbi πŸ“‚ Article πŸ“… 1994 πŸ› John Wiley and Sons 🌐 English βš– 664 KB

## Abstract We introduce a notion of relative efficiency for axiom systems. Given an axiom system __A__~Ξ²~ for a theory __T__ consistent with __S__^1^~2~, we show that the problem of deciding whether an axiom system __A__~Ξ±~ for the same theory is more efficient than __A__~Ξ²~ is II~2~‐hard. Several