Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic

J Liu, L Martinez, Y Xu, Lu ZR

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Unknown Host Publication
Pages	29-35
Number of pages	8
Publication status	Published (in print/issue) - May 2007
Event	ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic - Oslo, Norway Duration: 1 May 2007 → …

Conference	ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic
Period	1/05/07 → …

Cite this

@inproceedings{a86940ba4d9a4e9dbcfe8fa41c0170d5,

title = "Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic",

author = "J Liu and L Martinez and Y Xu and Lu ZR",

year = "2007",

month = may,

language = "English",

isbn = "0-7695-2831-7",

pages = "29--35",

booktitle = "Unknown Host Publication",

note = "ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic ; Conference date: 01-05-2007",

}