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 proceedingConference contribution

LanguageEnglish
Title of host publicationUnknown Host Publication
Pages197-202
Number of pages6
Publication statusAccepted/In press - 1 Jul 2014
EventThe 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014) - Joao Pessa, Brazil
Duration: 1 Jul 2014 → …

Conference

ConferenceThe 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014)
Period1/07/14 → …

Keywords

  • Resolution
  • automated reasoning
  • and lattice-valued logic

Cite this

Xu, Y., Liu, J., He, X. X., & Chen, S. W. (Accepted/In press). Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic. In Unknown Host Publication (pp. 197-202)
Xu, Y. ; Liu, Jun ; He, X.X. ; Chen, S.W. / Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic. Unknown Host Publication. 2014. pp. 197-202
@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 = "7",
day = "1",
language = "English",
pages = "197--202",
booktitle = "Unknown Host Publication",

}

Xu, Y, Liu, J, He, XX & Chen, SW 2014, Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic. in Unknown Host Publication. pp. 197-202, The 11th International FLINS Conference on Decision Making and Soft Computing (FLINS2014), 1/07/14.

Non-Clausal multi-ary α-generalized resolution principle for a lattice-valued propositional logic. / Xu, Y.; Liu, Jun; He, X.X.; Chen, S.W.

Unknown Host Publication. 2014. p. 197-202.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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

ER -