The following pages link to (Q3012532):
Displaying 4 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← 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)
