Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic

Y. Xu, Jun Liu, X.X. He, S.W. Chen

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Unknown Host Publication
Publisher	World Scientific Publishing
Pages	197-202
Number of pages	6
Publication status	Accepted/In press - 1 Jul 2014
Event	The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014) - Joao Pessa, Brazil Duration: 1 Jul 2014 → …

Conference	The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014)
Period	1/07/14 → …

Keywords

@inproceedings{ad5a53fc8af54b6aa4b8570279edad9d,

title = "Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic",

keywords = "Resolution, automated reasoning, and lattice-valued logic",

author = "Y. Xu and Jun Liu and X.X. He and S.W. Chen",

year = "2014",

month = jul,

day = "1",

language = "English",

pages = "197--202",

booktitle = "Unknown Host Publication",

publisher = "World Scientific Publishing",

address = "Singapore",

note = "The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014) ; Conference date: 01-07-2014",

}

TY - GEN

T1 - Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic

AU - Xu, Y.

AU - Liu, Jun

AU - He, X.X.

AU - Chen, S.W.

PY - 2014/7/1

Y1 - 2014/7/1

KW - Resolution

KW - automated reasoning

KW - and lattice-valued logic

M3 - Conference contribution

SP - 197

EP - 202

BT - Unknown Host Publication

PB - World Scientific Publishing

T2 - The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014)

Y2 - 1 July 2014

ER -