Pages that link to "Item:Q5028321"
From MaRDI portal
The following pages link to Categorical and algebraic aspects of the intuitionistic modal logic IEL― and its predicate extensions (Q5028321):
Displaying 3 items.
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- Construction of a monadic Heyting algebra in a logos (Q2373968) (← links)
- Categorical and Algebraic Aspects of the Intuitionistic Modal Logic $\operatorname{IEL}^{-}$ and its predicate extensions (Q6339922) (← links)