Pages that link to "Item:Q3446517"

The following pages link to The Projective Beth Property and Interpolation in Positive and Related Logics (Q3446517):

Displaying 12 items.

• The projective Beth property in well-composed logics (Q384403) (← links)
• Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
• Interpolation and definability over the logic Gl (Q647415) (← links)
• Interpolation and the projective Beth property in well-composed logics (Q694247) (← links)
• Decidability of the weak interpolation property over the minimal logic (Q695764) (← links)
• Amalgamation, interpolation, and implicit definability in varieties of algebras (Q744307) (← links)
• On the Beth properties of some intuitionistic modal logics (Q1407549) (← links)
• The decidability of Craig's interpolation property in well-composed J-logics (Q1937748) (← links)
• Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
• Definability and interpolation in non-classical logics (Q2498367) (← links)
• Superintuitionistic logics and the projective Beth property (Q2713994) (← links)
• The Beth property and interpolation in lattice-based algebras and logics (Q3546123) (← links)