Title :
Half true [half-negation operator]
Author :
Di Nola, Antonio
Author_Institution :
Dept. of Math. & Informatics, Univ. of Salerno, Baronissi, Italy
fDate :
6/24/1905 12:00:00 AM
Abstract :
We enrich the three valued Lukasiewicz logic, L3, endowing it with an additional unary connective ×. We obtain a logic, D2-logic, in which the × operator can be interpreted as an asymmetric negation. We show the completeness of D2-logic and study its algebraic models
Keywords :
fuzzy logic; fuzzy set theory; ternary logic; D2-logic; algebraic models; asymmetric negation; completeness; half-negation operator; half-truth; three valued Lukasiewicz logic; truth-value interpretation; unary connective; Boolean algebra; Calculus; Informatics; Large scale integration; Logic functions; Mathematics; Optical fiber communication; Protection;
Conference_Titel :
Fuzzy Systems, 2002. FUZZ-IEEE'02. Proceedings of the 2002 IEEE International Conference on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-7803-7280-8
DOI :
10.1109/FUZZ.2002.1006701
