Pages that link to "Item:Q694247"

The following pages link to Interpolation and the projective Beth property in well-composed logics (Q694247):

Displaying 6 items.

• The projective Beth property in well-composed logics (Q384403) (← links)
• Hybrid extensions of the minimal logic (Q820493) (← links)
• Recognizable logics (Q887647) (← links)
• Extensions of the minimal logic and the interpolation problem (Q1617985) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• The interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)