Title :
Multi-interval truth valued logic
Author :
Takagi, Noboru ; Kikuchi, Hiroaki ; Nakashima, Kazuto
Author_Institution :
Dept. of Electron. & Informatics, Toyama Prefectural Univ., Japan
fDate :
6/23/1905 12:00:00 AM
Abstract :
Many types of fuzzy truth values have been proposed, for example, numerical truth values, interval truth values, triangular truth values and trapezoid truth values and so on. This paper will discuss on algebraic structures on a new type of fuzzy truth values called multi-interval truth values. A multi-interval truth value is defined by the union of some of interval truth values. The operations on multi-interval truth values will be defined by applying the extension principle to the operations AND, OR, and NOT on numerical truth values. Then, the paper will show that an algebraic structure of multi-interval truth values with the operations defined is a de Morgan bisemilattice, which is a bisemilattice with the unit and zero, and with a unary operation that satisfies the involution and de Morgan´s laws
Keywords :
algebra; fuzzy logic; multivalued logic; AND; NOT; OR; algebraic structure; de Morgan bisemilattice; fuzzy truth values; multi-interval truth valued logic; numerical truth values; Boolean algebra; Electron traps; Fuzzy logic; Fuzzy systems; Informatics; Logic functions;
Conference_Titel :
Fuzzy Systems, 2001. The 10th IEEE International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
0-7803-7293-X
DOI :
10.1109/FUZZ.2001.1008851
