• DocumentCode
    559957
  • Title

    Randomization of Lukasiewicz 3-ValuedPpropositional Logic System

  • Author

    Hui, Xiaojing

  • Author_Institution
    Coll. of Math. & Comput. Sci., Yan´´an Univ., Yan´´an, China
  • Volume
    3
  • fYear
    2011
  • fDate
    24-25 Sept. 2011
  • Firstpage
    19
  • Lastpage
    21
  • Abstract
    In quantitative logic, every atomic formula has the same truth degree. To overcome the shortcomings of truth degree, this paper gives randomized truth degree by introducing randomized mapping in Lukasiewicz three-valued propositional logic. Randomized truth degree is a generalization of truth degree, and the role of the different atomic formula is reflected in it. Based on randomized truth degree, randomized logic pseudo-metric is obtained and it is proved that randomized logic pseudo-metric is also an extension of metric space in quantified logic. Randomized truth degree is a combination of quantitative logic and probability logic and is also a generalization of probabilities of formulas in classical propositional logic.
  • Keywords
    formal logic; Lukasiewicz 3-valued propositional logic system; atomic formula; quantitative logic; randomization; randomized logic pseudo-metric; randomized mapping; randomized truth degree; Cognition; Computers; Cost accounting; Extraterrestrial measurements; Mathematics; Probabilistic logic; logic metric space; quantitative logic; similarity degree; truth degree;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Information Technology, Computer Engineering and Management Sciences (ICM), 2011 International Conference on
  • Conference_Location
    Nanjing, Jiangsu
  • Print_ISBN
    978-1-4577-1419-1
  • Type

    conf

  • DOI
    10.1109/ICM.2011.392
  • Filename
    6113574