Pages that link to "Item:Q1037597"
From MaRDI portal
The following pages link to Multi-valued semantics: why and how (Q1037597):
Displaying 4 items.
- Proof search on bilateralist judgments over non-deterministic semantics (Q2142069) (← links)
- Combining fragments of classical logic: when are interaction principles needed? (Q2317512) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
