Pages that link to "Item:Q509602"
From MaRDI portal
The following pages link to Locally finite reducts of Heyting algebras and canonical formulas (Q509602):
Displaying 10 items.
- Cofinal stable logics (Q514517) (← links)
- Stable formulas in intuitionistic logic (Q1782236) (← links)
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- Intermediate logics admitting a structural hypersequent calculus (Q2422309) (← links)
- STABLE MODAL LOGICS (Q4961739) (← links)
- DECIDABILITY OF ADMISSIBILITY: ON A PROBLEM BY FRIEDMAN AND ITS SOLUTION BY RYBAKOV (Q5009678) (← links)
- Remarks on Stable Formulas in Intuitionistic Logic (Q5215503) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
