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

5 Citations (Scopus)
Original languageEnglish
Title of host publicationUnknown Host Publication
Pages29-35
Number of pages8
Publication statusPublished (in print/issue) - 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