• 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