Pages that link to "Item:Q1181493"
From MaRDI portal
The following pages link to Two sequences of locally tabular superintuitionistic logics (Q1181493):
Displaying 4 items.
- Finite axiomatizability of locally tabular superintuitionistic logics (Q581390) (← links)
- Number of prelocally table superintuitionistic propositional logics (Q1069926) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Axiomatics of P.S. Novikov complete extensions of the superintuitionistic logic L2 in the language containing an additional constant (Q2932459) (← links)