First Steps Toward Fuzzy Number-valued Propositional Logic.
Jorma K. MattilaPublished in: J. Multiple Valued Log. Soft Comput. (2017)
Keyphrases
- propositional logic
- fuzzy numbers
- valued logic
- fuzzy sets
- first order logic
- arithmetic operations
- belief revision
- multi attribute decision making
- fuzzy set theory
- real numbers
- possibilistic logic
- fuzzy linear programming
- lattice theory
- fuzzy information
- propositional formulas
- quantified boolean formulae
- propositional satisfiability
- belief change
- belief functions
- fuzzy logic
- triangular fuzzy numbers
- neural network
- artificial neural networks
- horn logic
- genetic algorithm