• DocumentCode
    2641335
  • Title

    (a, t) - Resolution Principle Based on Lattice-Valued Tense Propositional Logic LTP(X)

  • Author

    Li, Wenjiang ; Liu, Xin ; Zou, Li

  • Author_Institution
    Coll. of Autom., Univ. of Electron. Sci. & Technol. of China, Chengdu
  • fYear
    2008
  • fDate
    18-20 June 2008
  • Firstpage
    565
  • Lastpage
    565
  • Abstract
    In this paper, four tense operators E, F, G, H, are introduced into LP(X), then extend a lattice-valued propositional logic system to lattice-valued tense propositional logic system LTP(X). In this system, some definitions including generalized literal, T-skolem standard form, are given out. Based on these work, several conclusions about resolution deduction are got. Finally, alpha-soundness theorem of resolution principle is proved.
  • Keywords
    formal logic; T-skolem standard form; lattice-valued tense propositional logic system; resolution deduction; resolution principle; tense operators; Artificial intelligence; Automation; Educational institutions; Information technology; Lattices; Logic functions; Logic programming; Mathematics; Natural languages; Uncertainty;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Innovative Computing Information and Control, 2008. ICICIC '08. 3rd International Conference on
  • Conference_Location
    Dalian, Liaoning
  • Print_ISBN
    978-0-7695-3161-8
  • Electronic_ISBN
    978-0-7695-3161-8
  • Type

    conf

  • DOI
    10.1109/ICICIC.2008.1
  • Filename
    4603754
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2641335