Sciweavers

Share
CIE
2010
Springer

What Is the Problem with Proof Nets for Classical Logic?

8 years 11 months ago
What Is the Problem with Proof Nets for Classical Logic?
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.
Lutz Straßburger
Added 19 Jul 2010
Updated 19 Jul 2010
Type Conference
Year 2010
Where CIE
Authors Lutz Straßburger
Comments (0)
books