Pages that link to "Item:Q695764"
From MaRDI portal
The following pages link to Decidability of the weak interpolation property over the minimal logic (Q695764):
Displaying 7 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Unification and admissible rules for paraconsistent minimal Johanssons' logic J and positive intuitionistic logic \(\mathbf{IPC}^+\) (Q385070) (← links)
- Interpolation and definability over the logic Gl (Q647415) (← links)
- Recognizable and perceptible logics and varieties (Q683376) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Constructive classifications of modal logics and extensions of minimal logic (Q784471) (← links)
- Recognizable logics (Q887647) (← links)
