A framework of linguistic truth-valued propositional logic based on lattice implication algebra

2006 IEEE International Conference on Granular Computing

Volumn , Issue , 2006, Pages 574-577

  Zou, Li ^a,b   Ma, Jun ^a   Xu, Yang ^a  

^a SOUTHWEST JIAOTONG UNIVERSITY   (China)

^b LIAONING NORMAL UNIVERSITY   (China)

Author keywords

J resolution; Lattice implication algebra; Lattice valued logic; Linguistic truth valued logic

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; INFORMATION RETRIEVAL; MATHEMATICAL OPERATORS;

J-RESOLUTION; LATTICE IMPLICATION ALGEBRA; LATTICE VALUED LOGIC; LINGUISTIC TRUTH VALUED LOGIC;

FORMAL LOGIC;

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

References (15)

1. L.A.Zadeh, "The comcept of linguistic variable and its application to approximate reasoning (I), "Information Sciences 8, 199-249, 1975.
2. L. A. Zadeh, "The comcept of linguistic variable and its application to approximate reasoning (II)", Information Sciences 8, 310-357, 1975.
3. L. A. Zadeh, "The comcept of linguistic variable and its application to approximate reasoning (III)", Information Sciences 9, 43-80, 1975.
4. F. Herrera, E.Herrera, Luis Martinez, A Fusion Approach for Managing Multi-granularity Linguistic Term Sets in Decision Making, Fuzzy Sets and Systems 114(2000), 43-58.
5. V. N. Huynh, H. V. Nam, Ordered Structure-based Semantics of Linguistic Terms of Linguistic Variables and Approximate Reasoning, AIP Conference Proceedings on Computing Anticipatory Systems, CASYS'99 Third Tinternational Conference, 98-116.
6. V. N. Huynh, T. B. Ho, and Y. Nakamori, A Parametric Representation of Linguistic Hedges in Zadeh's Fuzzy Logic, International Journal of Approximate Reasoning, Vol(30), 203-223, 2002.
7. C. H. Nguyen, V. N. Huynh, An algebraic approach to linguistic hedges in Zadeh's fuzzy logic, Fuzzy Set and Systems, Vol(129), 229-254, 2002.
8. Y. Xu, Lattice implication algebras, J.Southwest Jiaotong Univ. 89(1), 20-27, 1993.
9. Y. Xu and K. Y. Qin, Lattice-valueproposition logic(I), J.Southwest Jiaotong Univ, Vol12(2), 123-128, 1993.
10. Y. Xu, D. Ruan, K. Y. Qin and J. Liu, Lattice-valued Logic, Springer Published, 2004.
11. J. P. Robinson, A Machine-oriented logic based on the resolution principle, J. ACM, Vol. 12, 23-41, 1965.
12. X. H. Liu, Resolution-based Automated Reasoning, Academic Press, China, 348-361, 1994.
13. Y. Xu, D. Ruan, E. E. Kerre, J. Liu, α-resolution principle based on lattice-valued prepositional logic LP(X), Information Sciences, Vol 130, 195-223, 2000.
14. 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, 195-223, 2001.
15. Quanxi Qiao, Yang Xu, "Implication Operators," Journal of Southwest Jiaotong University. Vol(30), No.2, pp. 188-193, 1995.