Pages that link to "Item:Q2446018"
From MaRDI portal
The following pages link to Leo Esakia on duality in modal and intuitionistic logics (Q2446018):
Displaying 5 items.
- MacNeille transferability and stable classes of Heyting algebras (Q1991585) (← links)
- A note on Hilbert algebras and their related generalized Esakia spaces (Q2520718) (← links)
- The intensional side of algebraic-topological representation theorems (Q2695032) (← links)
- An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics (Q6612811) (← links)
- Proof theory for Lax Logic (Q6612814) (← links)