A Quantitative Analysis of Implicational Paradoxes in Classical Mathematical Logic.
Yuichi GotoJingde ChengPublished in: Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
- quantitative analysis
- deontic logic
- qualitative analysis
- qualitative and quantitative analysis
- computer algebra
- qualitative evaluation
- quantum computation
- probability theory
- modal logic
- finite model theory
- predicate logic
- classical logic
- classical first order logic
- horn logic
- multi valued
- automated reasoning
- inference rules
- logic programming
- medical images
- cell segmentation
- mathematical models
- video streams