Canonical proof nets for classical logic

DOI10.1016/J.APAL.2012.05.007zbMath1345.03015arXiv1203.4084OpenAlexW1978830876MaRDI QIDQ1946674

Richard McKinley

Publication date: 15 April 2013

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1203.4084

zbMATH Keywords

cut eliminationproof netsclassical logicidentity of proofs

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Structure of proofs (03F07)

Related Items (2)

Complementary proof nets for classical logic ⋮ Proof nets for classical logic

This page was built for publication: Canonical proof nets for classical logic