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

X.X. He, Y. Xu, Jun Liu, Shuwei Chen

Research output: Contribution to journal › Article › peer-review

Keywords

@article{b6a8b8cb539a4f5b846b91af97f5aeef,

title = "A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logic",

keywords = "linguistic truth-value, lattice-valued logic, resolution-based automated reasoning",

author = "X.X. He and Y. Xu and Jun Liu and Shuwei Chen",

year = "2014",

month = nov,

doi = "10.1007/s00500-013-1188-2",

language = "English",

volume = "18",

pages = "2135--2147",

journal = "Soft Computing",

issn = "1433-7479",

publisher = "Springer",

number = "11",

}

TY - JOUR

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

AU - He, X.X.

AU - Xu, Y.

AU - Liu, Jun

AU - Chen, Shuwei

PY - 2014/11

Y1 - 2014/11

KW - linguistic truth-value

KW - lattice-valued logic

KW - resolution-based automated reasoning

U2 - 10.1007/s00500-013-1188-2

DO - 10.1007/s00500-013-1188-2

M3 - Article

SN - 1433-7479

VL - 18

SP - 2135

EP - 2147

JO - Soft Computing

JF - Soft Computing

IS - 11

ER -