Resolution method of linguistic truth-valued propositional logic

Proceedings of 2005 International Conference on Neural Networks and Brain Proceedings, ICNNB'05

Volumn 3, Issue , 2005, Pages 1996-1999

  Zou, Li ^a,b   Liu, Xin ^b   Xu, Yang ^a  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

^b LIAONING NORMAL UNIVERSITY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

FORMAL LANGUAGES; FORMAL LOGIC; SET THEORY;

LINGUISTIC HEDGE; LOGIC SYSTEM; TRUTH VALUE;

LINGUISTICS;

EID: 33847107556     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (13)

1. L.A. Zadeh, "The concept of linguistic variable and its application to approximate reasoning (I)," Information Sciences, vol. 8, pp. 199-249, 1975.
2. L.A. Zadeh, "The concept of linguistic variable and its application to approximate reasoning (II)," Information Sciences, vol. 8, pp. 310-357, 1975.
3. L.A. Zadeh, "The concept of linguistic variable and its application to approximate reasoning (III)," Information Sciences, vol. 9, pp. 43-80, 1975.
4. V.N. Huynh, T.B. Ho, and Y. Nakamori, "A Parametric Representation of Linguistic Hedges in Zadeh's Fuzzy Logic," International Joumal of Approximate Reasoning, vol. 30, pp. 203-223, 2002.
5. C.H. Nguyen, V.N. Huynh, "An algebraic approach to linguistic hedges in Zadeh's fuzzy logic," Fuzzy Set and Systems, vol. 129, pp. 229-254, 2002.
6. Y. Xu, "Lattice implication algebras," J.Southwest Jiaotong Univ. vol. 89-1, pp. 20-27, 1993.
7. Y. Xu, K.Y. Qin, "Lattice-value proposition logic(I)," J.Southwest Jiaotong Univ. vol. 1-2, pp. 123-128, 1993.
8. Y. Xu, D. Ruan, K.Y. Qin, J. Liu, Lattice-valued Logic, Spinger, 2003.
9. J.P. Robinson, "A Machine-oriented logic based on the resolution principle," J.ACM, vol. 12, pp. 23-41, 1965.
10. X.H. Liu, Solution-based Automated Reasoning, Academic Press, China, 1994
11. Y. Xu, D. Ruan, E.E. Kerre, J. Liu, "α-resolution principle based on lattice-valued propositional logic LP(X)," Information Sciences, vol 130, pp. 195-223, 2000,.
12. Y. Xu, D. Ruan, E.E. Kerre, J. Liu, "α-resolution principle based on first-order lattice-valued propositional logic LF(X)," Information Sciences, vol 132, pp. 195-223, 2001.
13. Q.X. Qiao, Y. Xu, "Implication Operators," Journal of Southwest Jiaotong University, vol. 30-2, pp188-193, 1995.