Pages that link to "Item:Q689074"
From MaRDI portal
The following pages link to Failure of interpolation in relevant logics (Q689074):
Displaying 7 items.
- Modal translations in substructural logics (Q1198409) (← links)
- Duality for algebras of relevant logics (Q1914154) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Preservation of Craig interpolation by the product of matrix logics (Q2446552) (← links)
- A plea for KR (Q2695153) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- Craig interpolation for semilinear substructural logics (Q3144874) (← links)
