The following pages link to (Q5595146):
Displaying 48 items.
- Forbidden configurations and subframe varieties (Q331025) (← links)
- A new constant in superintuitionistic logic L3 (Q498291) (← links)
- Cofinal stable logics (Q514517) (← links)
- An algebraic approach to canonical formulas: modal case (Q647410) (← links)
- New constants in two pretabular superintuitionistic logics (Q695769) (← links)
- A splitting logic in NExt(KTB) (Q995667) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- On maximal intermediate logics with the disjunction property (Q1097260) (← links)
- New operations in intuitionistic calculus (Q1132866) (← links)
- An infinite class of maximal intermediate propositional logics with the disjunction property (Q1204112) (← links)
- A study of intermediate propositional logics on the third slice (Q1208111) (← links)
- A lattice of normal modal logics (Q1220915) (← links)
- Equational axioms for classes of Heyting algebras (Q1237072) (← links)
- \(2^{\aleph_0}\) varieties of Heyting algebras not generated by their finite members (Q1237086) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- A semantic hierarchy for intuitionistic logic (Q1740610) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- Hereditarily structurally complete superintuitionistic deductive systems (Q1790607) (← links)
- A study of intermediate predicate logics (Q1843560) (← links)
- In search of a ``true'' logic of knowledge: The nonmonotonic perspective (Q1855242) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- Axiomatic extensions of the constructive logic with strong negation and the disjunction property (Q1908857) (← links)
- Epimorphism surjectivity in varieties of Heyting algebras (Q2195632) (← links)
- Profiniteness and representability of spectra of Heyting algebras (Q2232709) (← links)
- Varieties of BL-algebras. III: Splitting algebras (Q2278840) (← links)
- Explicating logical independence (Q2301324) (← links)
- Splittings in GBL-algebras. I: The general case (Q2329010) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Axiomatization of models for intermediate logics constructed with Boolean models by piling up (Q2555486) (← links)
- Some results on the intermediate logics (Q2557689) (← links)
- In search of a ``true'' logic of knowledge: the nonmonotonic perspective (Q2673908) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- (Q3804686) (← links)
- AN ALGEBRAIC APPROACH TO INQUISITIVE AND -LOGICS (Q5046603) (← links)
- Characteristic Formulas Over Intermediate Logics (Q5214733) (← links)
- On Algebraisation of Superintuitionistic Predicate Logics (Q5214741) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Partitioning Kripke frames of finite height (Q5349257) (← 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)
- A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic—An Application of Jankov Formulas to Predicate Logics (Q5886462) (← links)
- Esakia duals of regular Heyting algebras (Q6183438) (← links)
- Bi-intermediate logics of trees and co-trees (Q6584961) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
