What is the Problem with Proof Nets for Classical Logic ?
Abstract
This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatisfactory.
Origin : Files produced by the author(s)
Loading...