NON-CLAUSAL MULTI-ARY alpha-GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGIC

Yang Xu; Jun Liu; Xingxing He; Xiaomei Zhong; Shuwei Chen

NON-CLAUSAL MULTI-ARY alpha-GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGIC

Yang Xu, Jun Liu, Xingxing He, Xiaomei Zhong, Shuwei Chen

School of Computing

Research output: Other contribution › peer-review

Original language	English
Volume	9
Publication status	Published (in print/issue) - 2014

Publication series

Name	World Scientific Proceedings Series on Computer Engineering and Information Science

Keywords

Resolution automated reasoning
Lattice-valued propositional logic
Lattice implication algebra
Non-clausal multi-ary alpha-generalized resolution

Cite this

@misc{92de375def434cc59be57f30cb2557d7,

title = "NON-CLAUSAL MULTI-ARY alpha-GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGIC",

keywords = "Resolution automated reasoning, Lattice-valued propositional logic, Lattice implication algebra, Non-clausal multi-ary alpha-generalized resolution",

author = "Yang Xu and Jun Liu and Xingxing He and Xiaomei Zhong and Shuwei Chen",

year = "2014",

language = "English",

volume = "9",

series = "World Scientific Proceedings Series on Computer Engineering and Information Science",

type = "Other",

}

TY - GEN

T1 - NON-CLAUSAL MULTI-ARY alpha-GENERALIZED RESOLUTION PRINCIPLE FOR A LATTICE-VALUED PROPOSITIONAL LOGIC

AU - Xu, Yang

AU - Liu, Jun

AU - He, Xingxing

AU - Zhong, Xiaomei

AU - Chen, Shuwei

PY - 2014

Y1 - 2014

KW - Resolution automated reasoning

KW - Lattice-valued propositional logic

KW - Lattice implication algebra

KW - Non-clausal multi-ary alpha-generalized resolution

M3 - Other contribution

VL - 9

T3 - World Scientific Proceedings Series on Computer Engineering and Information Science

ER -