DocumentCode :
3166422
Title :
The negation in the Checklist Paradigm based m2 non-commutative fuzzy interval logic system of Goguen and Gaines
Author :
Eunjin Kim
Author_Institution :
Dept. of Comput. Sci., Univ. of North Dakota, Grand Forks, ND, USA
fYear :
2013
fDate :
24-28 June 2013
Firstpage :
629
Lastpage :
636
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
IFSA World Congress and NAFIPS Annual Meeting (IFSA/NAFIPS), 2013 Joint
Conference_Location :
Edmonton, AB
Type :
conf
DOI :
10.1109/IFSA-NAFIPS.2013.6608474
Filename :
6608474
Link To Document :
بازگشت