Cut-elimination and deductive polarization in complementary classical logic

TitleCut-elimination and deductive polarization in complementary classical logic
Publication TypeJournal Article
Year of Publication2017
AuthorsCarnielli WA, Pulcini G
JournalLog. J. IGPL
Volume25
Pagination273-282
Date PublishedJUN
ISSN1367-0751
DOI10.1093/jigpal/jzx006