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

5 Citations (Scopus)
Original languageEnglish
Pages (from-to)2135-2147
JournalSoft Computing
Volume18
Issue number11
DOIs
Publication statusPublished - Nov 2014

Keywords

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

Cite this