Pages that link to "Item:Q606053"
From MaRDI portal
The following pages link to Joint consistency in extensions of the minimal logic (Q606053):
Displayed 4 items.
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)