TY - GEN
T1 - Automated reasoning algorithm for linguistic valued Łukasiewicz propositional logic
AU - Liu, Jun
AU - López, Luis Martínez
AU - Xu, Yang
AU - Lu, Zhirui
PY - 2007
Y1 - 2007
N2 - In this paper, firstly a new automated reasoning algorithm based on Boolean logic is proposed and its theorems of soundness and completeness on validating the unsatisfiability of logic formulae are given. Then this procedure is extended to a linguistic valued Lukasiewicz propositional logic L(X) with truth-value in Lukasiewicz linguistic valued algebras, and an α-automated reasoning algorithm with respect to certain linguistic value level a in L(X) is given. Its theorems of soundness and completeness associated with the α-unsatisfiability of the logical formulae in L(X) are also proved. This reflects the symbolic approach acts by direct reasoning on linguistic truth values.
AB - In this paper, firstly a new automated reasoning algorithm based on Boolean logic is proposed and its theorems of soundness and completeness on validating the unsatisfiability of logic formulae are given. Then this procedure is extended to a linguistic valued Lukasiewicz propositional logic L(X) with truth-value in Lukasiewicz linguistic valued algebras, and an α-automated reasoning algorithm with respect to certain linguistic value level a in L(X) is given. Its theorems of soundness and completeness associated with the α-unsatisfiability of the logical formulae in L(X) are also proved. This reflects the symbolic approach acts by direct reasoning on linguistic truth values.
UR - http://www.scopus.com/inward/record.url?scp=34548235358&partnerID=8YFLogxK
U2 - 10.1109/ISMVL.2007.9
DO - 10.1109/ISMVL.2007.9
M3 - Conference contribution
AN - SCOPUS:34548235358
SN - 0769528317
SN - 9780769528311
T3 - Proceedings of The International Symposium on Multiple-Valued Logic
BT - 37th International Symposium on Multiple-Valued Logic, ISMVL 2007
T2 - 37th International Symposium on Multiple-Valued Logic, ISMVL 2007
Y2 - 13 May 2007 through 16 May 2007
ER -