First-order t-norm based fuzzy logics with truth-constants: Distinguished semantics and completeness properties.
Francesc EstevaLluís GodoCarles NogueraPublished in: Ann. Pure Appl. Log. (2009)
Keyphrases
- valued logic
- fuzzy sets
- t norm
- fuzzy logic
- fuzzy relations
- membership functions
- classical logic
- conditional logic
- propositional logic
- fuzzy set theory
- first order logic
- interval valued
- rough sets
- truth values
- fuzzy systems
- aggregation operators
- fuzzy rules
- computational intelligence
- weighted average
- logic programs
- logic programming
- fuzzy measures
- modal logic
- fuzzy numbers
- neural network
- expressive power
- desirable properties
- kripke models
- fuzzy controller
- fuzzy model
- expert systems
- pattern recognition
- decision making