Pages that link to "Item:Q384403"

The following pages link to The projective Beth property in well-composed logics (Q384403):

Displaying 10 items.

• Decidability of the interpolation problem and of related properties in tabular logics (Q431717) (← links)
• Interpolation over the minimal logic and Odintsov intervals (Q498237) (← links)
• Recognizable and perceptible logics and varieties (Q683376) (← links)
• Interpolation and the projective Beth property in well-composed logics (Q694247) (← 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 interpolation problem in finite-layered pre-Heyting logics (Q2011363) (← links)
• Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
• The Projective Beth Property and Interpolation in Positive and Related Logics (Q3446517) (← links)