DocumentCode
2054246
Title
Towards Fuzzy Partial Logic
Author
Behounek, Libor ; Novak, Vilem
Author_Institution
Inst. for Res. & Applic. of Fuzzy Modeling, Univ. of Ostrava, Ostrava, Czech Republic
fYear
2015
fDate
18-20 May 2015
Firstpage
139
Lastpage
144
Abstract
In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics formed by algebras of truth values extended by a special value "*". This value may have several interpretations, such as "undefined", "meaningless", "non-applicable", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.
Keywords
fuzzy logic; arguments; axioms; connectives; deduction rules; fuzzy partial logic; logic semantics; truth value algebra; undefined truth values; Algebra; Context; Fuzzy logic; Natural languages; Reactive power; Semantics; Standards; mathematical fuzzy logic; partial logic; undefinedness;
fLanguage
English
Publisher
ieee
Conference_Titel
Multiple-Valued Logic (ISMVL), 2015 IEEE International Symposium on
Conference_Location
Waterloo, ON
ISSN
0195-623X
Type
conf
DOI
10.1109/ISMVL.2015.43
Filename
7238148
Link To Document