EQ-algebras |
| |
Authors: | Vil m Nov k,Bernard De Baets |
| |
Affiliation: | aInstitute for Research and Applications of Fuzzy Modelling, University of Ostrava, 30. dubna 22, 701 03 Ostrava 1, Czech Republic;bDepartment of Applied Mathematics, Biometrics and Process Control, Ghent University, Coupure links 653, B-9000 Gent, Belgium |
| |
Abstract: | We introduce a new class of algebras called EQ-algebras. An EQ-algebra has three basic binary operations (meet, multiplication and a fuzzy equality) and a top element. These algebras are intended to become algebras of truth values for a higher-order fuzzy logic (a fuzzy type theory, FTT). The motivation stems from the fact that until now, the truth values in FTT were assumed to form either an IMTL-, BL-, or MV-algebra, all of them being special kinds of residuated lattices in which the basic operations are the monoidal operation (multiplication) and its residuum. The latter is a natural interpretation of implication in fuzzy logic; the equivalence is then interpreted by the biresiduum, a derived operation. The basic connective in FTT, however, is a fuzzy equality and, therefore, it is not natural to interpret it by a derived operation. This defect is expected to be removed by the class of EQ-algebras introduced and studied in this paper. From the algebraic point of view, the class of EQ-algebras generalizes, in a certain sense, the class of residuated lattices and so, they may become an interesting class of algebraic structures as such. |
| |
Keywords: | EQ-algebra Fuzzy equality Fuzzy logic Fuzzy type theory Higher-order fuzzy logic Residuated lattice |
本文献已被 ScienceDirect 等数据库收录! |
|