The following pages link to (Q5582306):
Displayed 42 items.
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- The structure of slices over minimal logic (Q511341) (← links)
- The tabularity problem over the minimal logic (Q515492) (← links)
- Codimension and pseudometric in co-Heyting algebras (Q535091) (← links)
- Syntax and semantics of superintuitionistic logics (Q920079) (← links)
- Free equivalential algebras (Q952484) (← links)
- Decidability of the admissibility problem in layer-finite logics (Q1064315) (← links)
- Finite approximability of forest superintuitionistic logics (Q1068076) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Interpolation properties of superintuitionistic logics (Q1140079) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- The simple substitution property of the intermediate propositional logics on finite slices (Q1208115) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- Hereditarily finitely axiomatizable extensions of logic S4 (Q1239153) (← links)
- Finite-level modal logics (Q1245106) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\) (Q1782237) (← links)
- Properties of superintuitionistic propositional calculi (Q1814378) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- Algorithms for recognizing restricted interpolation over the modal logic S4 (Q2123084) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Pretabular superintuitionistic logic (Q2265416) (← links)
- Restricted interpolation over modal logic S4 (Q2342101) (← links)
- Layers over minimal logic (Q2364334) (← links)
- Epimorphisms in varieties of residuated structures (Q2411405) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- A note on entropy of logic (Q4987702) (← links)
- EPSILON THEOREMS IN INTERMEDIATE LOGICS (Q5082060) (← links)
- Maksimova, Relevance and the Study of Lattices of Non-classical Logics (Q5214729) (← links)
- Lattice NExtS4 from the Embedding Theorem Viewpoint (Q5214738) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)
- On Finite Domains Based Slices in the Structure of Superintuitionistic Predicate Logics, Preview (Q6051797) (← links)
- EXTENDED FRAMES AND SEPARATIONS OF LOGICAL PRINCIPLES (Q6072335) (← links)