Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic

J Liu, L Martinez, Y Xu, Lu ZR

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

5 Citations (Scopus)
Original languageEnglish
Title of host publicationUnknown Host Publication
Pages29-35
Number of pages8
Publication statusPublished - May 2007
EventISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic - Oslo, Norway
Duration: 1 May 2007 → …

Conference

ConferenceISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic
Period1/05/07 → …

Cite this

Liu, J., Martinez, L., Xu, Y., & ZR, L. (2007). Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic. In Unknown Host Publication (pp. 29-35)