On weakening the Deduction Theorem and strengthening Modus Ponens.
Félix BouJosep Maria FontJosé Luis García-LaprestaPublished in: Math. Log. Q. (2004)
Keyphrases
- modus ponens
- intuitionistic logic
- decision rules
- inference rules
- von neumann
- theorem proving
- linear logic
- image processing
- expert systems
- digital topology
- automated deduction
- classical logic
- logic programming
- probabilistic model
- database
- multiscale
- image sequences
- high level
- image segmentation
- computer vision
- artificial intelligence
- learning algorithm
- genetic algorithm
- machine learning
- real world
- data sets