What Is the Problem with Proof Nets for Classical Logic?

DOI10.1007/978-3-642-13962-8_45zbMath1286.03155OpenAlexW2111687337MaRDI QIDQ3576229

Lutz Straßburger

Publication date: 29 July 2010

Published in: Programs, Proofs, Processes (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13962-8_45

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Structure of proofs (03F07)

Related Items (2)

Complementary proof nets for classical logic ⋮ Unnamed Item

This page was built for publication: What Is the Problem with Proof Nets for Classical Logic?