The following pages link to Cofinal stable logics (Q514517):
Displaying 8 items.
- Locally finite reducts of Heyting algebras and canonical formulas (Q509602) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- Subframization and stabilization for superintuitionistic logics (Q3120212) (← links)
- Stability and General Logics (Q4243913) (← links)
- (Q4842969) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)