A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic-Reference-Cited by-同舟云学术

A unified algorithm for finding $$k$$ k -IESFs in linguistic truth-valued lattice-valued propositional logic

Published:2013-12-20 Issue:11 Volume:18 Page:2135-2147
ISSN:1432-7643
Container-title:Soft Computing
language:en
Short-container-title:Soft Comput

Author:

He Xingxing,Xu Yang,Liu Jun,Chen Shuwei

Publisher

Springer Science and Business Media LLC

Subject

Geometry and Topology,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00500-013-1188-2.pdf

Reference51 articles.

1. Birkhoff G (1967) Lattice theory, 3rd edn. American Mathematical Society, Providence

2. Chang CL, Lee RCT (1973) Symbolic logic and mechanical theorem proving. Academic Press, London

3. Hajek P (1998) Mathematics of fuzzy logic. Kluwer, Dordrecht

4. Herrera F, Martínez L (2000) A 2-tuple fuzzy linguistic representation model for computing with words. IEEE Trans Fuzzy Syst 8(6):746–752

5. He XX, Xu Y, Deng WH, Xu WT, Zhong XM (2009) The structure of 3-indecomposable extremely simple form of $$L_6$$ L 6 P(X), international conference on intelligent systems and knowledge engineering, November 27–28. Hasselt, Belgium

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. $$\alpha $$-Paramodulation method for a lattice-valued logic $$L_nF(X)$$ with equality;Soft Computing;2020-07-15

2. A Decision Making Approach with Linguistic Weight and Unavoidable Incomparable Ranking;International Journal of Computational Intelligence Systems;2019

3. Non-clausal Multi-ary alpha-Ordered Linear Generalized Resolution Method for Lattice-Valued First-Order Logic;2015 10th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2015-11