Title :
The negation in the Checklist Paradigm based m2 non-commutative fuzzy interval logic system of Goguen and Gaines
Author_Institution :
Dept. of Comput. Sci., Univ. of North Dakota, Grand Forks, ND, USA
Abstract :
This paper continues the study of fuzzy interval logic based on the Checklist Paradigm by Kohout and Bandler. The fuzzy interval system of negation in m2 Goguen-Gaines´s logic is investigated in depth. Since the m2 interval system of Goguen-Gaine´s logic is non-commutative system, the interval negation of m2 is defined in consideration of the non-commutativity of system. And, the axioms of negation in the m2 interval system are further investigated.
Keywords :
fuzzy logic; programming language semantics; checklist paradigm; formal semantics; m2 Goguen-Gainess logic; m2 noncommutative fuzzy interval logic system; negation axioms; Abstracts; Cognition; Cost accounting; Fuzzy logic; Multivalued logic; Semantics; Upper bound;
Conference_Titel :
IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013 Joint
Conference_Location :
Edmonton, AB
DOI :
10.1109/IFSA-NAFIPS.2013.6608474