Pages that link to "Item:Q2373968"
From MaRDI portal
The following pages link to Construction of a monadic Heyting algebra in a logos (Q2373968):
Displaying 4 items.
- Functors of Lindenbaum-Tarski, schematic interpretations, and adjoint cylinders between sentential logics (Q929639) (← links)
- Completeness results for intuitionistic and modal logic in a categorical setting (Q1346248) (← links)
- Monadic \(k\times j\)-rough Heyting algebras (Q2155492) (← links)
- Construction of monadic Heyting algebra in any logos. (Q2813431) (← links)