The following pages link to (Q5419894):
Displaying 10 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 definability over the logic Gl (Q647415) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- On deductive interpolation for the weak nilpotent minimum logic (Q1697356) (← links)
- Interpolation and Beth's property in propositional many-valued logics: a semantic investigation (Q2498905) (← links)
- WIP-minimal logics and interpolation (Q2630547) (← links)
- Interpolation and Definability in Extensions of the Minimal Logic (Q3409460) (← links)
- Uniqueness, definability and interpolation (Q3795662) (← links)