The following pages link to (Q4487297):
Displayed 6 items.
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- Implication via spacetime (Q2658280) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)