The following pages link to (Q5545944):
Displayed 11 items.
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- Some results on the Kripke sheaf semantics for super-intuitionistic predicate logics (Q1208117) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Pretabular extensions of Lewis S4 (Q1222645) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- Characterization of pseudo-Boolean models by Boolean models and its applications to intermediate logics (Q2264662) (← links)
- Kripke models and intermediate logics (Q2548955) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- Remark on a finite axiomatization of finite intermediate propositional logics (Q4531584) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- A criterion for the separable axiomatization of Gödel's $S_n $ (Q5554948) (← links)