Pages that link to "Item:Q5423982"
From MaRDI portal
The following pages link to On the axiomatisation of Boolean categories with and without medial (Q5423982):
Displaying 4 items.
- Deep inference and probabilistic coherence spaces (Q452333) (← links)
- Extension without cut (Q714731) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)