Pages that link to "Item:Q3605518"
From MaRDI portal
The following pages link to Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination (Q3605518):
Displaying 4 items.
- Canonical signed calculi with multi-ary quantifiers (Q408550) (← links)
- Analytic tableaux for non-deterministic semantics (Q2142063) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (Q3392939) (← links)