Pages that link to "Item:Q2576913"
From MaRDI portal
The following pages link to Order-enriched categorical models of the classical sequent calculus (Q2576913):
Displaying 5 items.
- Classical proof forestry (Q636369) (← links)
- Categorical proof theory of classical propositional calculus (Q860833) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- On categorical models of classical logic and the Geometry of Interaction (Q5430139) (← links)
