Pages that link to "Item:Q1697347"
From MaRDI portal
The following pages link to Non-commutative first-order EQ-logics (Q1697347):
Displaying 13 items.
- Uniform topology on EQ-algebras (Q527223) (← links)
- EQ-logics: non-commutative fuzzy logics based on fuzzy equality (Q549345) (← links)
- Data types over multiple-valued logics (Q752687) (← links)
- Non-commutative Łukasiewicz propositional logic (Q818518) (← links)
- EQ-algebras (Q1043290) (← links)
- Relations and non-commutative linear logic (Q1910723) (← links)
- The lattice of prefilters of an EQ-algebra (Q2013846) (← links)
- The spectra and reticulation of EQ-algebras (Q2100191) (← links)
- Preideals in EQ-algebras (Q2100409) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Finite direct products of EQ-algebras (Q2318594) (← links)
- Equality Logic (Q5147753) (← links)
- Non-commutative propositional logic with short-circuit evaluation (Q5862001) (← links)