• 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
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3166422