Linearizing Intuitionistic Implication
Patrick LincolnAndre ScedrovNatarajan ShankarPublished in: LICS (1991)
Keyphrases
- fuzzy relations
- linear logic
- interval valued
- fuzzy set theory
- fuzzy information
- fuzzy sets
- functional dependencies
- fuzzy numbers
- theorem prover
- discrete variables
- classical logic
- neural network
- low rank
- rough set theory
- fuzzy rules
- database design
- semi supervised
- case study
- artificial intelligence
- real time
- natural deduction