What Is the Problem with Proof Nets for Classical Logic?

13 years 9 months ago

Download www.lix.polytechnique.fr

This paper is an informal (and nonexhaustive) overview over some existing notions of proof nets for classical logic, and gives some hints why they might be considered to be unsatisfactory.

Lutz Straßburger

Real-time Traffic

Applied Computing | CIE 2010 | Classical Logic | Proof Nets |

claim paper

» Denotations for Classical Proofs Preliminary Results

» Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear ...

» Breaking Paths in Atomic Flows for Classical Logic

» On Yens Path Logic for Petri Nets

» Reasoning about Computations Using TwoLevels of Logic

» A Calculus for Interaction Nets

» Metareasoning for Multiagent Epistemic Logics

» Confluence of Pure Differential Nets with Promotion

Post Info
More Details (n/a)

Added	19 Jul 2010
Updated	19 Jul 2010
Type	Conference
Year	2010
Where	CIE
Authors	Lutz Straßburger

Comments (0)

Sciweavers

What Is the Problem with Proof Nets for Classical Logic?

Applied Computing | CIE 2010 | Classical Logic | Proof Nets |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers