Login / Signup

On compatibilities of α-lock resolution method in linguistic truth-valued lattice-valued logic.

Xingxing HeYang XuJun LiuShuwei Chen
Published in: Soft Comput. (2012)
Keyphrases
  • valued logic
  • fuzzy logic
  • database
  • natural language
  • first order logic
  • expressive power
  • truth values