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",

}

TY - GEN

T1 - Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic

AU - Liu, J

AU - Martinez, L

AU - Xu, Y

AU - ZR, Lu

PY - 2007/5

Y1 - 2007/5

UR - https://www.scopus.com/pages/publications/34548235358

M3 - Conference contribution

SN - 0-7695-2831-7

SP - 29

EP - 35

BT - Unknown Host Publication

T2 - ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic

Y2 - 1 May 2007

ER -