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

Original languageEnglish
Title of host publicationUnknown Host Publication
PublisherWorld Scientific Publishing
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). World Scientific Publishing.