• DocumentCode
    3731381
  • Title

    Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic

  • Author

    Xingxing He;Yang Xu;Jun Liu

  • Author_Institution
    Sch. of Math., Southwest Jiaotong Univ., Chengdu, China
  • fYear
    2015
  • Firstpage
    18
  • Lastpage
    20
  • Abstract
    Aiming to improve the efficiency of alpha-paramodulation in lattice-valued logic with equality, this paper focuses on alpha-lock paramodulation for lattice-valued logic, which can more efficiently handle the lattice-valued logical formula with equality. The definition of alpha-lock paramodulation is given firstly, which is a refinement of alpha-paramodulation, and then its soundness and completeness are established. Finally an algorithm of alpha-lock paramodulation is given.
  • Keywords
    "Yttrium","Cognition","Lattices","Algebra","Indexes","Cost accounting"
  • Publisher
    ieee
  • Conference_Titel
    Intelligent Systems and Knowledge Engineering (ISKE), 2015 10th International Conference on
  • Type

    conf

  • DOI
    10.1109/ISKE.2015.90
  • Filename
    7383018
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=3731381