Non-commutative first-order EQ-logics
EQ-logics, as logics based on EQ-algebras, can be considered as special kind of fuzzy logics. The authors describe prelinear EQ-algebras and develop the corresponding propositional EQ-logic. They in detail introduce syntax and semantics of first-order EQ-logics and prove various theorems characterizing its properties including completeness.
scientific article; zbMATH DE number 6840676