The following pages link to Proof Nets for Classical Logic (Q4444939):
Displaying 14 items.
- Classical proof forestry (Q636369) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Proof nets of PN as graphs (Q1805403) (← links)
- Canonical proof nets for classical logic (Q1946674) (← links)
- Proof nets for classical logic (Q1982017) (← links)
- Normal proofs, cut free derivations and structural rules (Q2259009) (← links)
- Order-enriched categorical models of the classical sequent calculus (Q2576913) (← links)
- On the computational representation of classical logical connectives (Q2864215) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Combinatorial flows and their normalisation (Q5111329) (← links)
- Proof Transformations and Structural Invariance (Q5426006) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
- Typed Lambda Calculi and Applications (Q5704013) (← links)
- Complementary proof nets for classical logic (Q6146288) (← links)