Logics for Finite UL and IUL-Algebras Are Substructural Fuzzy Logics.
Sanmin WangPublished in: Symmetry (2018)
Keyphrases
- propositional calculus
- expressive power
- modal logic
- valued logic
- classical logic
- inference rules
- fuzzy sets
- neural network
- decision procedures
- multi criteria
- real time
- truth values
- nonmonotonic logics
- soft computing
- membership functions
- temporal reasoning
- fuzzy clustering
- computational properties
- fuzzy logic
- knowledge base
- decision making
- data sets
- database