How to use function symbols in the basic fuzzy predicate logic and its extensions and presents a completeness theorem for the defined calculus.Other logical properties.
How to use function symbols in the basic fuzzy predicate logic and its extensions and presents a completeness theorem for the defined calculus.Other logical properties. (en)