A resolution method for linguistic truth-valued intuitionistic fuzzy first-order logic.

Lin Xiao Jia Meng Shifei Ding Li Zou

Published in: FUZZ-IEEE (2016)

Keyphrases

first order logic
transitive closure
expressive power
database systems
objective function
computational complexity
probabilistic model
clustering method
propositional logic
theorem proving
intuitionistic fuzzy
valued logic