Fuzzy natural deduction.

Giangiacomo Gerla Roberto Tortora

Published in: Math. Log. Q. (1990)

Keyphrases

natural deduction
fuzzy sets
theorem prover
fuzzy logic
inference rules
cut elimination
fuzzy rules
membership functions
intuitionistic logic
fuzzy numbers
fuzzy set theory
linear time temporal logic
fuzzy systems
theorem proving
fuzzy clustering
sequent calculus
machine learning