Pages that link to "Item:Q4149450"
From MaRDI portal
The following pages link to Lukasiewicz and Symmetrical Heyting Algebras (Q4149450):
Displayed 8 items.
- An alternative definition of quantifiers on four-valued Łukasiewicz algebras (Q1689561) (← links)
- Proper n-valued Lukasiewicz algebras as S-algebras of Lukasiewicz n- valued propositional calculi (Q1838472) (← 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)
- Closure Łukasiewicz algebras (Q2496099) (← links)
- Some Operators in Kripke Models with an Involution (Q4443422) (← links)
- Monteiro's algebraic notion of maximal consistent theory for Tarskian logics (Q6079419) (← links)