We introduce a special class of algebras called EQ-algebras. It has three basic binary operations --- meet, multiplication and fuzzy equality --- and a top element. This algebra is expected to become the algebra of truth values for fuzzy type theory (FTT), i.e. a higher-order fuzzy logic.
We introduce a special class of algebras called EQ-algebras. It has three basic binary operations --- meet, multiplication and fuzzy equality --- and a top element. This algebra is expected to become the algebra of truth values for fuzzy type theory (FTT), i.e. a higher-order fuzzy logic. (en)