Paper Info
Title
Alpha-Lock Paramodulation for Lattice-Valued Propositional Logic
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.
Year
DOI
Venue
2015
10.1109/ISKE.2015.90
2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE)
Keywords
DocType
ISSN
Lattice-valued propositional logic,Equality,a-Lock paramodulation,Automated reasoning
Conference
2164-2508
Citations 
PageRank 
References 
0
0.34
6
Authors
3
Name
Order
Citations
PageRank
Xingxing He18413.90
Yang Xu271183.57
Jun Liu364456.21