On the Forcing Semantics for Monoidal t-norm Based Logic.

Denisa Diaconescu George Georgescu

Published in: J. Univers. Comput. Sci. (2007)

Keyphrases

t norm
logic programming
proof theory
neuro fuzzy
fuzzy systems
fuzzy sets
weighted average
fuzzy set theory
probability theory
membership functions
interval valued
aggregation operators
machine learning
equational theories
fuzzy relations
logic programs
artificial neural networks
decision making