A quantitative analysis of implicational paradoxes in classical mathematical logic.
Yuichi GotoJingde ChengPublished in: SAC (2006)
Keyphrases
- quantitative analysis
- deontic logic
- qualitative analysis
- qualitative and quantitative analysis
- computer algebra
- qualitative evaluation
- horn logic
- modal logic
- probability theory
- quantum computation
- logic programming
- automated reasoning
- multi valued
- mathematical models
- classical logic
- predicate logic
- asynchronous circuits
- mathematical theory
- human reasoning
- cancer cells
- quantum mechanics
- neural network
- temporal logic
- image quality