@inproceedings{bd9d63b5fe734f59ad71ff68f6933cee,
title = "Alpha-satisfiability and alpha-lock resolution for a lattice-valued logic LP(X)",
abstract = "This paper focuses on some automated reasoning issues for a kind of lattice-valued logic LP(X) based on lattice-valued algebra. Firstly some extended strategies from classical logic to LP(X) are investigated in order to verify theAlpha-satisability of formulae in LP(X) while the main focus is given on the role of constant formula played in LP(X) in order to simply the verication procedure in the semantic level. Then, an alpha-lock resolution method in LP(X) is proposed and the weak completeness of this method is proved. The work will provide a support for the more e±cient resolution based automated reasoning in LP(X).",
keywords = "lattice-valued logic, Alpha-resolution principle, Alpha-satisability, ALpha-lock resolution method",
author = "Xingxing He and Yang Xu and Yingfang Li and Jun Liu and Luis Martinez and Da Ruan and Jan Wagemans",
note = "Score = 3; HAIS - 2010 : 5th International Conference on Hybrid Artificial Intelligence Systems, HAIS ; Conference date: 23-06-2010 Through 25-06-2010",
year = "2010",
month = jun,
language = "English",
isbn = "978-3-642-13802-7",
volume = "2",
series = "Lecture Notes in Artificial Intelligence",
number = "6077",
pages = "320--327",
booktitle = "Hybrid Artificial Intelligence Systems",
}