Hypersequent and the Proof Theory of Intuitionistic Fuzzy Logic.
Matthias BaazRichard ZachPublished in: CSL (2000)
Keyphrases
- proof theory
- fuzzy logic
- fuzzy set theory
- default reasoning
- proof theoretic
- automated reasoning
- linear logic
- fuzzy sets
- cut elimination
- theorem prover
- neural network
- expert systems
- fuzzy numbers
- reasoning problems
- control system
- decision making
- artificial intelligence
- belief revision
- conjunctive queries
- reasoning tasks