The negation in the Checklist Paradigm based m2 non-commutative fuzzy interval logic system of Goguen and Gaines.
Eunjin KimPublished in: IFSA/NAFIPS (2013)
Keyphrases
- logic programming
- truth values
- predicate logic
- logic programs
- fuzzy sets
- horn clauses
- interval valued
- fuzzy logic
- derivation rules
- fuzzy rules
- membership functions
- interval type fuzzy
- closed world assumptions
- fuzzy linear programming
- multiple attribute decision making
- deductive databases
- fuzzy set theory
- classical logic
- special case
- fuzzy numbers
- multi valued
- interval data
- declarative semantics
- fuzzy controller
- modal logic
- fixpoint
- t norm
- linguistic variables
- asynchronous circuits
- real numbers
- declarative programming
- type fuzzy logic systems
- expressive power