Pages that link to "Item:Q3322103"
From MaRDI portal
The following pages link to SYMMETRICAL HEYTING ALGEBRAS WITH OPERATORS (Q3322103):
Displaying 10 items.
- Frontal operators in weak Heyting algebras (Q454367) (← links)
- \(I_ n\)-symmetrical Heyting algebras (Q1208070) (← links)
- On cyclic symmetric Heyting algebras. (Q1406587) (← links)
- Symmetrical Heyting algebras with a finite order type of operators (Q1896756) (← links)
- Symmetrical Heyting algebras of order \(3\times 3\) (Q2100223) (← links)
- On \(k\)-cyclic \(SHn\)-algebra (Q2250908) (← links)
- Automated theorem proving by resolution in non-classical logics (Q2385426) (← links)
- The Tableau Method for a Logical System Based on a Finite Poset (Q3647309) (← links)
- Semantics of the second order lambda calculus (Q4006235) (← links)
- Sémantique algébrique ďun système logique basé sur un ensemble ordonné fini (Q4704650) (← links)