A True Unprovable Formula of Fuzzy Predicate Logic.

Published in: Logic versus Approximation (2004)

Keyphrases

predicate logic
logical formulas
fuzzy sets
knowledge representation and reasoning
formal logic
predicate calculus
fuzzy logic
fuzzy numbers
computational linguistics
semantic net
semantic network
membership functions
lower level
temporal logic
artificial intelligence
logic programming
bayesian networks