Pages that link to "Item:Q2392011"
From MaRDI portal
The following pages link to Characteristic formulas of partial Heyting algebras (Q2392011):
Displaying 5 items.
- Locally finite reducts of Heyting algebras and canonical formulas (Q509602) (← links)
- Characteristic inference rules (Q2342800) (← links)
- V. Yankov’s Contributions to Propositional Logic (Q5886455) (← links)
- Jankov Formulas and Axiomatization Techniques for Intermediate Logics (Q5886457) (← links)
- Yankov Characteristic Formulas (An Algebraic Account) (Q5886458) (← links)