Pages that link to "Item:Q647415"
From MaRDI portal
The following pages link to Interpolation and definability over the logic Gl (Q647415):
Displaying 7 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← links)
- Strong computability of slices over the logic GL (Q1707569) (← links)
- The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
- Pretabularity and Craig's interpolation problem over the minimal logic (Q6587379) (← links)
