EQ-algebra, fuzzy equality, residuated lattice, MTLlogic, fuzzy logic

We discuss a formal many-valued logic called EQlogic which is based on a recently introduced special class of algebras called EQ-algebras. The latter have three basic binary operations (meet, multiplication, fuzzy equality) and a top element and, in a certain sense, generalize residuated lattices. The goal of EQ-logics is to present a possible direction in the development of mathematical logics in which axioms are formed as identities. In this paper we propose a basic EQ-logic and three extensions which end up with a logic equivalent to the MTL-logic.