James Trafford

Co-constructive Logics for Proofs and Refutations

2015 · Studia Humana

Abstract This paper considers logics which are formally dual to intuitionistic logic in order to investigate a co-constructive logic for proofs and refutations. This is philosophically motivated by a set of problems regarding the nature …