Pages that link to "Item:Q1069926"
From MaRDI portal
The following pages link to Number of prelocally table superintuitionistic propositional logics (Q1069926):
Displaying 6 items.
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- Finite axiomatizability of locally tabular superintuitionistic logics (Q581390) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Embeddings of implicative lattices and superintuitionistic logics (Q1112806) (← links)
- Two sequences of locally tabular superintuitionistic logics (Q1181493) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)