Pages that link to "Item:Q2869908"
From MaRDI portal
The following pages link to Failure of interpolation in constant domain intuitionistic logic (Q2869908):
Displaying 8 items.
- Failure of interpolation in relevant logics (Q689074) (← links)
- Failures semantics based on interval semiwords is a congruence for refinement (Q757073) (← links)
- Ten problems in Gödel logic (Q1699740) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- A canonical model for constant domain basic first-order logic (Q2027216) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- A Logical Autobiography (Q5027230) (← links)
- Failure of interpolation in combined modal logics (Q5937819) (← links)