Pages that link to "Item:Q2713994"
From MaRDI portal
The following pages link to Superintuitionistic logics and the projective Beth property (Q2713994):
Displaying 6 items.
- Restricted interpolation property in superintuitionistic logics (Q431670) (← links)
- Intuitionistic logic and implicit definability (Q1591374) (← links)
- A method to single out maximal propositional logics with the disjunction property. I (Q1902974) (← links)
- A method to single out maximal propositional logics with the disjunction property. II (Q1902977) (← links)
- Projective Beth property in extensions of Grzegorczyk logic (Q2433106) (← links)
- The Projective Beth Property and Interpolation in Positive and Related Logics (Q3446517) (← links)