Canonical proof nets for classical logic

TitleCanonical proof nets for classical logic
Publication TypeJournal Article
Year of Publication2013
AuthorsMcKinley, R
JournalAnnals of Pure and Applied Logic
Volume164
Pagination702-732
ISSN0168-0072
URLhttp://www.iam.unibe.ch/ltgpub/2012/mck12a.pdf
DOI10.1016/j.apal.2012.05.007