𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Supervenience, reduction, and infinite disjunction

✍ Scribed by Nick Zangwill


Publisher
Springer
Year
1998
Tongue
English
Weight
633 KB
Volume
26
Category
Article
ISSN
0048-3893

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Reduction of finite and infinite derivat
✍ G. Mints πŸ“‚ Article πŸ“… 2000 πŸ› Elsevier Science 🌐 English βš– 161 KB

We present a general schema of easy normalization proofs for ÿnite systems S like ÿrst-order arithmetic or subsystems of analysis, which have good inÿnitary counterparts S∞. We consider a new system S + ∞ with essentially the same rules as S∞ but di erent derivable objects: a derivation d ∈ S + ∞ of