The following pages link to Proof search in lax logic (Q2746761):
Displaying 6 items.
- Propositional lax logic (Q1368378) (← links)
- Notes towards a semantics for proof-search (Q2703721) (← links)
- Structural Focalization (Q2946730) (← links)
- (Q4370349) (← links)
- Substructural nuclear (image-based) logics and operational Kripke-style semantics (Q6597128) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)