Intuitionistic Fuzzy Implications and the Axioms of Intuitionistic Logic.
Nora A. AngelovaKrassimir T. AtanassovPublished in: IFSA-EUSFLAT (2015)
Keyphrases
- intuitionistic fuzzy
- intuitionistic logic
- fuzzy clustering
- classical logic
- group decision making
- judgment matrix
- linear logic
- fuzzy numbers
- knowledge base
- natural deduction
- fuzzy relations
- expressive power
- proof theoretic
- databases
- cluster analysis
- normal form
- fixed point
- first order logic
- proof theory
- artificial intelligence