The following pages link to (Q5519127):
Displayed 16 items.
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- Cardinalities of proper ideals in some lattices of strengthenings of the intuitionistic propositional logic (Q800356) (← links)
- Frame based formulas for intermediate logics (Q1005954) (← links)
- Applications of weak Kripke semantics to intermediate consequences (Q1097261) (← links)
- On decision procedures for sentential logics (Q1181478) (← links)
- The disjunction property of intermediate propositional logics (Q1181482) (← links)
- Irreflexive modality in the intuitionistic propositional logic and Novikov completeness (Q1288137) (← links)
- The structure of lattices of subframe logics (Q1361249) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- Negative equivalence of extensions of minimal logic (Q1770621) (← links)
- On the structure of paraconsistent extensions of Johansson's logic (Q1775862) (← links)
- On the structure of varieties with equationally definable principal congruences. I (Q1839272) (← links)
- Constructing a continuum of predicate extensions of each intermediate propositional logic (Q1891930) (← links)
- An algebraic approach to subframe logics. Intuitionistic case (Q2370373) (← links)