Expansion Nets: Proof-Nets for Propositional Classical Logic

DOI10.1007/978-3-642-16242-8_38zbMath1307.03032OpenAlexW1541328677MaRDI QIDQ4933330

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)

Related Items (1)

Complementary proof nets for classical logic

This page was built for publication: Expansion Nets: Proof-Nets for Propositional Classical Logic