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 contributionpeer-review

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