Ouyang Dantong; Cheng Xiaochun; Zhang Chengqi
(SRCE University Computing Centre, University of Zagreb, 2003)
Propose a many-sorted general
framework to incorporate Algebraic
computation with Logical reasoning, which
equally encompasses following systems as
special cases: Lattice-valued Fuzzy Logic,
Operator Fuzzy Logic, ...