Pages that link to "Item:Q1077401"
From MaRDI portal
The following pages link to Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic (Q1077401):
Displayed 7 items.
- Modal companions of intermediate propositional logics (Q1194106) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- Definability and interpolation in non-classical logics (Q2498367) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- On the Blok-Esakia Theorem (Q5255793) (← links)
- Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)