Pages that link to "Item:Q2720324"

The following pages link to Heyting algebras with operators (Q2720324):

Displaying 12 items.

• Compact Hausdorff Heyting algebras (Q334967) (← links)
• Frontal operators in weak Heyting algebras (Q454367) (← links)
• The word problem for \(Heyting^ *\) algebras (Q1095167) (← links)
• Expansions of dually pseudocomplemented Heyting algebras (Q1680519) (← links)
• Inquisitive Heyting algebras (Q2062213) (← links)
• Simple and subdirectly irreducibles bounded distributive lattices with unary operators (Q2469035) (← links)
• De Morgan Heyting algebras satisfying the identity<i>x</i>^{<i>n</i>(′*)}≈<i>x</i>^{(<i>n</i>+1)(′*)} (Q3008053) (← links)
• (Q3775521) (← links)
• Some Remarks on Heyting Matrices (Q5903071) (← links)
• On Heyting algebras with negative tense operators (Q6067747) (← links)
• The variety of modal weak Gödel algebras (Q6083149) (← links)
• Algebras and relational frames for Gödel modal logic and some of its extensions (Q6623950) (← links)