The laws of excluded middle and contradiction in checklist paradigm based fuzzy interval logic

Author

Kim, Eunjin

Author_Institution

Dept. of Comput. Sci., Univ. of North Dakota, Grand Forks, ND, USA

fYear

2012

fDate

6-8 Aug. 2012

Firstpage

1

Lastpage

6

Abstract

This paper continues a study in fuzzy interval logic based on the Checklist Paradigm(CP) semantics of Bandler and Kohout. The law of excluded middle and the law of contradiction are investigated in the fuzzy interval logic system of negation, [¬_Bot, ¬_Top], which was defined by the Nicod(NOR) and the Sheffer(NAND) connectives of m₁ interval system, respectively. Both laws don´t hold in the fuzzy logic with a classic negation, ¬_a = 1 - a; however, they do hold both with ¬_Bot and with ¬_Top in the checklist paradigm based fuzzy interval logic.

Keywords

fuzzy logic; programming language semantics; Bandler; CP semantics; Kohout; NAND connectives; NOR; Nicod; Sheffer; checklist paradigm; classic negation; contradiction law; excluded middle law; fuzzy identity; fuzzy interval logic system; fuzzy negation; Abstracts; Convergence; Cost accounting; Fuzzy logic; Multivalued logic; Semantics; Upper bound; Fuzzy Identity; Fuzzy Interval Logic; Fuzzy Negation; Law of Contradiction; Law of Excluded Middle;

fLanguage

English

Publisher

ieee

Conference_Titel

Fuzzy Information Processing Society (NAFIPS), 2012 Annual Meeting of the North American

Conference_Location

Berkeley, CA

ISSN

pending

Print_ISBN

978-1-4673-2336-9

Electronic_ISBN

pending

Type

conf

DOI

10.1109/NAFIPS.2012.6291041

Filename

6291041