Pages that link to "Item:Q2813431"
From MaRDI portal
The following pages link to Construction of monadic Heyting algebra in any logos. (Q2813431):
Displaying 6 items.
- Varieties of monadic Heyting algebras. II: Duality theory (Q1283133) (← links)
- Functional monadic Heyting algebras. (Q1771932) (← links)
- Bi-Heyting algebras, toposes and modalities (Q1914371) (← links)
- Monadic \(k\times j\)-rough Heyting algebras (Q2155492) (← links)
- Construction of a monadic Heyting algebra in a logos (Q2373968) (← links)
- On the Heyting algebra objects in a topos (Q2887377) (← links)