Expansion nets: proof-nets for propositional classical logic

DOI10.1007/978-3-642-16242-8_38MaRDI QIDQ4933330zbMATH OpenOpenAlexFDO

Authors Richard McKinley

Publication date 12 October 2010

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Classical propositional logic (03B05) Structure of proofs (03F07)

Recommendations

• Canonical proof nets for classical logic
• Proof Nets for Classical Logic
• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 937366
• What is the problem with proof nets for classical logic?

Cited in

(7)

• Canonical proof nets for classical logic
• Proof nets for classical logic
• The explosion calculus
• What is the problem with proof nets for classical logic?
• Proof Nets for Classical Logic
• Typed Lambda Calculi and Applications
• Complementary proof nets for classical logic

This page was built for publication: Expansion nets: proof-nets for propositional classical logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4933330)