Pages that link to "Item:Q3120212"
From MaRDI portal
The following pages link to Subframization and stabilization for superintuitionistic logics (Q3120212):
Displaying 5 items.
- Cofinal stable logics (Q514517) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- Admissible rules for six intuitionistic modal logics (Q2683779) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)