|
|||||
|
|
A Proof-theoretic View of Necessity |
|
| Authors: | Reinhard Kahle |
| Affiliation: | (1) CENTRIA, Universidade Nova de Lisboa, Portugal;(2) Departamento de Matemática, Universidade de Coimbra, Apartado 3008, P-3001-454 Coimbra, Portugal |
| Abstract: | We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”. |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |