Pages that link to "Item:Q5499650"
From MaRDI portal
The following pages link to HILBERT ALGEBRAS WITH A NECESSITY MODAL OPERATOR (Q5499650):
Displaying 5 items.
- Algebraic semantics of the \(\left\{ \rightarrow ,\square \right\} \)-fragment of propositional lax logic (Q780272) (← links)
- Hilbert algebras with a modal operator \(\diamondsuit\) (Q2350975) (← links)
- Hilbert algebras with Hilbert-Galois connections (Q2699017) (← links)
- (Q3775521) (← links)
- Intuitionistic modal algebras (Q6562368) (← links)