The following pages link to (Q4210626):
Displaying 8 items.
- Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401) (← links)
- Der Interpolationssatz der intuitionistischen Prädikatenlogik (Q1130509) (← links)
- Interpolation property and superintuitionistic predicate logics (Q1288274) (← links)
- On the existence of continua of logics between some intermediate predicate logics (Q1975164) (← links)
- Interpolation in superintuitionistic predicate logics with equality (Q2709301) (← links)
- Problem of restricted interpolation in superintuitionistic and some modal logics (Q3577906) (← links)
- Intuitionistic propositional logic with only equivalence has no interpolation (Q4209298) (← links)
- Elementary Amalgamation and Joint Embedding Property for Intermediate Logics (Q5504121) (← links)