The following pages link to (Q3987175):
Displayed 6 items.
- Sequent calculi for Visser's propositional logics (Q1409300) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Implication via spacetime (Q2658280) (← links)
- Neighborhood Semantics for Basic and Intuitionistic Logic (Q2987743) (← links)
- Constructive Embedding from Extensions of Logics of Strict Implication into Modal Logics (Q5213676) (← links)
- Basic predicate calculus (Q5937805) (← links)