Pages that link to "Item:Q431717"
From MaRDI portal
The following pages link to Decidability of the interpolation problem and of related properties in tabular logics (Q431717):
Displaying 4 items.
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Interpolation properties in the extensions of the logic of inequality (Q606045) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
