The following pages link to (Q5570908):
Displayed 7 items.
- Not every splitting Heyting or interior algebra is finitely presentable (Q454375) (← links)
- On finite approximability of psi-intermediate logics (Q1054716) (← links)
- Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas (Q1208113) (← links)
- On the quasivariety of BCK-algebras and its subvarieties (Q1344842) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Characteristic formulas of partial Heyting algebras (Q2392011) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)