Pages that link to "Philosophy:Deep inference"
From HandWiki
The following pages link to Philosophy:Deep inference:
Displayed 8 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Bunched logic (← links)
- Cirquent calculus (← links)
- Philosophy:Nested sequent calculus (← links)
- Philosophy:Noncommutative logic (← links)
- Philosophy:Proof calculus (← links)
- Philosophy:Structural proof theory (← links)
- Philosophy:Proof net (← links)
- Physics:Quantum logic (← links)