The following pages link to (Q4385350):
Displayed 7 items.
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Predicate logical extensions of some subintuitionistic logics (Q1005979) (← links)
- A closer look at some subintuitionistic logics (Q1422101) (← links)
- Monotone subintuitionistic logic: duality and transfer results (Q2153831) (← links)
- (Q2776812) (← links)
- Bounded distributive lattices with strict implication (Q4680368) (← links)
- Choice-free topological duality for implicative lattices and Heyting algebras (Q6183434) (← links)