A new theory consistency index based on deduction theorems in several logic systems.
Hongjun ZhouGuo-Jun WangPublished in: Fuzzy Sets Syst. (2006)
Keyphrases
- deductive reasoning
- computer algebra
- asynchronous circuits
- distributed systems
- formal methods
- intuitionistic logic
- digital circuits
- neural network
- complex systems
- management system
- expert systems
- b tree
- inference rules
- theorem proving
- knowledge based systems
- automated reasoning
- set theory
- intelligent systems
- formal theory
- proof theory
- knowledge representation
- proof search
- rewrite systems
- search engine