Ulster University Logo

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

He, X.X., Xu, Y., Liu, Jun and Chen, Shuwei (2014) A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logic. Soft Computing, 18 (11). pp. 2135-2147. [Journal article]

Full text not available from this repository.

DOI: 10.1007/s00500-013-1188-2


Item Type:Journal article
Keywords:linguistic truth-value; lattice-valued logic; resolution-based automated reasoning
Faculties and Schools:Faculty of Computing & Engineering
Faculty of Computing & Engineering > School of Computing and Mathematics
Research Institutes and Groups:Computer Science Research Institute
Computer Science Research Institute > Artificial Intelligence and Applications
ID Code:32486
Deposited By: Dr Jun Liu
Deposited On:26 Oct 2015 13:35
Last Modified:26 Oct 2015 13:35

Repository Staff Only: item control page