Pages that link to "Item:Q1937748"
From MaRDI portal
The following pages link to The decidability of Craig's interpolation property in well-composed J-logics (Q1937748):
Displayed 7 items.
- The projective Beth property in well-composed logics (Q384403) (← links)
- Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
- Recognizable logics (Q887647) (← links)
- Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
- Recognizability of all WIP-minimal logics (Q1642315) (← links)
- Slices and levels of extensions of the minimal logic (Q1745087) (← links)
- The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)