Pages that link to "Item:Q4649546"
From MaRDI portal
The following pages link to A Systematic Approach to Canonicity in the Classical Sequent Calculus (Q4649546):
Displaying 7 items.
- Constructive canonicity in non-classical logics (Q1361246) (← links)
- Multi-focused proofs with different polarity assignments (Q1744415) (← links)
- On concurrent behaviors and focusing in linear logic (Q2358701) (← links)
- Semantic investigation of canonical Gödel hypersequent systems (Q2804332) (← links)
- Canonicity results for mu-calculi: an algorithmic approach (Q2983395) (← links)
- Revisiting the canonicity of canonical triangulations (Q4563238) (← links)
- Algorithmic correspondence and canonicity for possibility semantics (Q5858133) (← links)