Linguistic truth-valued lattice-valued propositional logic system ℓP(X) based on linguistic truth-valued lattice implication algebra

Information Sciences

Volumn 180, Issue 10, 2010, Pages 1990-2002

  Lai, Jiajun ^a   Xu, Yang ^a  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

Author keywords

( , ) Consistency; ( , ) Theorem; ( , ) Valid; Linguistic truth valued lattice implication algebra; Valid formula; Valuation

Indexed keywords

DEDUCTION THEOREMS; LATTICE IMPLICATION ALGEBRA; LATTICE VALUED LOGIC; NON-CLASSICAL LOGIC; PROPOSITIONAL LOGIC; SEMANTICS OF NATURAL LANGUAGE;

ALGEBRA; FORMAL LOGIC; SEMANTICS;

LINGUISTICS;

EID: 77449095270     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2010.01.021     Document Type: Article

References (45)

1. S.W. Chen, Y. Xu, J. Ma, A linguistic truth-valued uncertainty reasoning model based on Lattice-Valued Logic, in: Second International Conference on Fuzzy system and knowledge discovery, FSKD2005, LNAI, vol. 3613, 2005, pp. 276-283.
2. Delgado M., Verdegay J.L., and Vila M.A. Linguistic decision making models. International Journal of Intelligent Systems 7 (1992) 479-492
3. Huynh V.-N., and Nakamori Y. A satisfactory-oriented approach to multiexpert decision-making with linguistic assessments. IEEE Transactions on Systems, Man, and Cybernetics - Part B 35 2 (2005) 184-196
4. Ho N.C., and Wechler W. Hedge algebras: on algebraic approach to structure of sets of linguistic truth values. Fuzzy Sets and Systems 35 (1990) 281-293
5. Ho N.C., and Wechler W. Extended hedge algebras and their application on fuzzy logic. Fuzzy Sets and Systems 52 (1992) 259-281
6. Hájek P., and Harmancova D. A hedge for Godel fuzzy logic. International Journal Uncertainty Fuzziness Knowledge-Based Systems 8 (2000) 495-498
7. Hájek P. On very true. Fuzzy Sets and Systems 124 (2001) 233-329
8. Herrea F., and Martinez L. A 2-tuple fuzzy linguistic representation model for computing with words. IEEE Transactions on Fuzzy Systems 8 6 (2000) 746-752
9. Jun Y.B., Xu Y., and Ma J. Redefined fuzzy implicative filters. Information Sciences 177 (2007) 1422-1429
10. vpl. Computer Science 35 9 (2008) 230-232 (in Chinese)
11. Jiajun Lai, Yang Xu, Zhiyan Chang, Kaijun Xu, et al., Reasoning rules of linguistic truth values lattice-valued first order logic with Generalized quantifiers based on L-LIA, in: The Proceeding of the 8th International FLINs Conference on Computational Intelligence in Decision and Control, September 21-24, 2008, Madrid, Spain, pp. 205-210.
12. Lai J., Xu Y., and Chang Z. On FP-filters and FPD-filters of lattice implication algebra. International Journal of Applied Mathematice and Informatics 26 3-4 (2008) 653-660
13. Lai J., and Xu Y. On WLI-ideal space and the properties of WLI-ideals in lattice implication algebra (LIA). International Journal of Applied Mathematics and Computing 31 1 (2009) 113-127
14. Lai J., Xu Y., Ma J., and Pan X. Congruence relations induced by weak-filters and FWLI-ideals in lattice implication algebra. International Journal of Modern Mathematics 2 1 (2007) 135-142
15. Lai J., and Xu Y. Logical properties of lattice filters of lattice implication algebra. Journal of Southwest Jiaotong University 15 4 (2007) 353-356
16. Lai J., and Xu Y. Inequality of lattice implication algebra. Journal of Jiangnan University 6 3 (2007) 366-370 (in Chinese)
17. Jiajun Lai, Yang Xu, Kaijun Xu, Zhaoyou Zeng, Linguistic truth-valued lattice value propositional logic system ℓ P (X), in: Proceedings of 2007 Intelligent Systems and Knowledge Engineering (ISKE2007), October 15-16, 2007, Chengdu, PR China, pp. 1546-1551.
18. Lianzhen L., and Kaitai L. Fuzzy implicative and Boolean filters of Ro algebras. Information Sciences 171 (2005) 61-71
19. Ma J., Chen S., and Xu Y. Fuzzy logic form the viewpoint of machine intelligence. Fuzzy Sets and Systems 157 5 (2006) 628-634
20. Ma J., Li W., Ruan D., and Xu Y. Filter-based resolution principle for lattice-valued propositional logic LP(X). Information Sciences 177 (2007) 1046-1062
21. D. Meng, H.D. Jia, Y. Xu, Framework of six linguistic lattice-valued evaluation system, in: International Conference on Intelligent Systems and Knowledge Engineering, 2006.
22. Pan X., and Xu Y. Lattice implication ordered semigroups. Information Sciences 178 (2008) 403-413
23. Pei D.W. Unified full implication algorithms of fuzzy reasoning. Information Sciences 178 (2008) 520-530
24. Z. Pei, Y. Xu, Lattice implication algebra model of a kind of linguistic terms and its inference, in: Proceedings of the 6th International FLINS Conference, 2004, pp. 93-98.
25. Qin K.Y., and Xu Y. Lattice-valued propositional logic (II). Journal of Southwest Jiaotong University 2 1 (1994) 22-27
26. Qin K.Y., Xu Y., and Song Z.M. Some kinds of approximate reasoning based on system LP(X). Fuzzy Systems and Mathematics 12 2 (1998) 55-60 (in Chinese)
27. K.Y. Qin, Study on lattice-valued logic system based on lattice implication algebras and their applications, Ph.D. Thesis, Southwest Jiaotong University, 1996.
28. Takeuti G., and Titani S. Globalization of intuitionitic set theory. Annals of Pure and Applied Logic 33 (1987) 195-211
29. Vychodil V. Truth-depressing hedges and BL-logic. Fuzzy Sets and Systems 157 (2006) 2074-2090
30. Wang G., and Zhou H. Quantitative logic. Information Sciences 179 3 (2009) 226-247
31. Yang Xu, Shuwei Chen, Jun Liu, Da Ruan, Weak completeness of resolution in a lattice truth-valued propositional logic, in: IFSA2007, pp. 358-366.
32. Y. Xu, X.B. Li, J. Liu, D. Ruan, Determination of α-resolution for lattice-valued first-order logic based on lattice implication algebra, in: Proceedings of the 2007 International Conference on Intelligent Systems and Knowledge Engineering, Chengdu, 15-16 October 2007, pp. 1567-1574.
33. Y. Xu, S.W. Chen, J. Ma, Linguistic truth-valued lattice implication algebra and its properties, in: Proceedings of CESA2006 Conference, 2006, pp. 1413-1418.
34. Xu Y., Liu J., Ruan D., and Lee T.T. On the consistency of rule bases based on lattice-valued first-order logic LF(X). International Journal of Intelligent Systems 21 (2006) 399-424
35. Xu Y., Ruan D., Qin K.Y., and Liu J. Lattice-Valued Logic - An Alternative Approach to Treat Fuzziness Incomparability. Studies in Fuzziness and Soft Computing vol. 132 (2003), Springer, Berlin
36. Xu Y., and Qin K.Y. Lattice-valued propositional logic(I). Journal of Southwest JiaoTong University 1 2 (1993) 123-128
37. Xu Y. Lattice implication algebras. Journal of Southwest Jiaotong University 28 1 (1993) 20-27 (in Chinese)
38. A.D. Yashin, A modified neighborhood semantics for strong future tense operator in intuitionistic propositional logic, in: Abstracts of Logic Colloquium 97, Leeds, England, 1997.
39. Zadeh L.A. Is there a need for fuzzy logic?. Information Sciences 178 (2008) 2751-2779
40. Zadeh L.A. Toward a generalized theory of uncertainty (GTU) - an outline. Information Sciences 172 (2008) 1-40
41. Zadeh L.A. Fuzzy logic and approximate reasoning. Sythese 30 (1975) 407-428
42. Zadeh L.A. A theory of approximate reasoning. In: Yager R.R., Ovchinnikov S., Tong R.M., and Nguyen H.T. (Eds). Fuzzy Sets and Applications: Selected papers by L.A. Zadeh (1987), Wiley, New York 367-411
43. Zadeh L.A. The concepts of a linguistic variable and its applications to approximate reasoning. Part I, Information Sciences 8 (1975) 199-249
44. Part II, Information Sciences 8 (1975) 301-357
45. Part III, Information Sciences 9 (1975) 43-80