A proof-theoretical investigation of global intuitionistic (fuzzy) logic.
Agata CiabattoniPublished in: Arch. Math. Log. (2005)
Keyphrases
- theoretical investigation
- fuzzy logic
- linear logic
- fuzzy set theory
- theorem prover
- natural deduction
- fuzzy sets
- computational intelligence
- genetic algorithm
- neural network
- theorem proving
- expert systems
- decision making
- control system
- interval valued
- artificial intelligence
- global information
- fuzzy information
- proof search
- programming language
- sufficient conditions
- evolutionary computation
- soft computing
- fuzzy reasoning
- intelligent control
- search engine
- database