Canonical proof nets for classical logic

by Richard Mckinley