The following pages link to (Q5688812):
Displayed 5 items.
- Coherence for sharing proof-nets (Q1398472) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)