Structuring co-constructive logic for proofs and refutations
Trafford, James (2016) Structuring co-constructive logic for proofs and refutations. Logica Universalis, 10 (1). pp. 67-97. ISSN 1661-8297
- Documents
- Details
This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following. It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation such that classical logic (interpreted in a Boolean topos) is simulated where proofs and refutations are conclusive.
The final publication is available at Springer via http://dx.doi.org/10.1007/s11787-016-0138-z
Actions (login required)
 |
Edit View |