The following pages link to (Q2998377):
Displaying 12 items.
- Intermediate logics and the de Jongh property (Q627438) (← links)
- Intermediate logics and factors of the Medvedev lattice (Q952483) (← links)
- Reflexive intermediate first-order logics (Q1049753) (← links)
- Sentential logics and Maehara interpolation property (Q1076010) (← links)
- Intermediate logics with the same disjunctionless fragment as intuitionistic logic (Q1096618) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- On the rules of intermediate logics (Q2501166) (← links)
- Topologies for intermediate logics (Q2922497) (← links)
- (Q3475248) (← links)
- (Q3688377) (← links)
- (Q4428299) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
