Pages that link to "Item:Q1896756"
From MaRDI portal
The following pages link to Symmetrical Heyting algebras with a finite order type of operators (Q1896756):
Displaying 4 items.
- Symmetrical Heyting algebras of order \(3\times 3\) (Q2100223) (← links)
- Heyting algebras with Boolean operators for rough sets and information retrieval applications (Q2478438) (← links)
- SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS (Q3322103) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)