The following pages link to (Q3772270):
Displaying 9 items.
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- Structural completeness in many-valued logics with rational constants (Q2080696) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- De Morgan Heyting algebras satisfying the identity<i>x</i><sup><i>n</i>(′*)</sup>≈<i>x</i><sup>(<i>n</i>+1)(′*)</sup> (Q3008053) (← links)
- HEREDITARILY STRUCTURALLY COMPLETE POSITIVE LOGICS (Q5117590) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Unification types and union splittings in intermediate logics (Q6614043) (← links)
