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 journalArticle

3 Citations (Scopus)
LanguageEnglish
Pages2135-2147
JournalSoft Computing
Volume18
Issue number11
DOIs
Publication statusPublished - Nov 2014

Keywords

  • linguistic truth-value
  • lattice-valued logic
  • resolution-based automated reasoning

Cite this

@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 = "11",
doi = "10.1007/s00500-013-1188-2",
language = "English",
volume = "18",
pages = "2135--2147",
journal = "Soft Computing",
issn = "1432-7643",
number = "11",

}

A unified algorithm for finding k-IESFs in linguistic truth-valued lattice-valued propositional logic. / He, X.X.; Xu, Y.; Liu, Jun; Chen, Shuwei.

In: Soft Computing, Vol. 18, No. 11, 11.2014, p. 2135-2147.

Research output: Contribution to journalArticle

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

VL - 18

SP - 2135

EP - 2147

JO - Soft Computing

T2 - Soft Computing

JF - Soft Computing

SN - 1432-7643

IS - 11

ER -