Pages that link to "Item:Q1782236"
From MaRDI portal
The following pages link to Stable formulas in intuitionistic logic (Q1782236):
Displaying 8 items.
- Subintuitionistic logics and the implications they prove (Q1788333) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Hereditarily structurally complete intermediate logics: Citkin's theorem via duality (Q2698277) (← links)
- (Q4553286) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Notes on my scientific life (Q6612807) (← links)
- Intermediate logics in the setting of team semantics (Q6612815) (← links)
