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)
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)
Liu, J ; Martinez, L ; Xu, Y ; ZR, Lu. / Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic. Unknown Host Publication. 2007. pp. 29-35
@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 = "5",
language = "English",
isbn = "0-7695-2831-7",
pages = "29--35",
booktitle = "Unknown Host Publication",

}

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, ISMVL2007 - 37th IEEE International Symposium on Multiple-Valued Logic, 1/05/07.

Automated reasoning algorithm for linguistic valued Lukasiewicz propositional logic. / Liu, J; Martinez, L; Xu, Y; ZR, Lu.

Unknown Host Publication. 2007. p. 29-35.

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

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

M3 - Conference contribution

SN - 0-7695-2831-7

SP - 29

EP - 35

BT - Unknown Host Publication

ER -

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