On Fuzzy Logic II. Enriched residuated lattices and semantics of propositional calculi.
Jan PavelkaPublished in: Math. Log. Q. (1979)
Keyphrases
- fuzzy logic
- vague concepts
- soft computing
- neural network
- decision making
- propositional logic
- expert systems
- genetic algorithm
- formal semantics
- fuzzy sets
- sound and complete axiomatization
- computational intelligence
- artificial intelligence
- model theoretic
- rule base
- first order logic
- semantic information
- control system
- fuzzy rules
- rough sets
- logic programming
- multi valued
- predicate calculus
- autoepistemic logic
- fuzzy reasoning
- truth maintenance systems
- intelligent control
- computational properties
- membership functions
- fuzzy inference system
- description logics
- evolutionary computation