Harmonious logic: Craig's interpolation theorem and its descendants.
Solomon FefermanPublished in: Synth. (2008)
Keyphrases
- intuitionistic logic
- classical logic
- modal logic
- image interpolation
- automated reasoning
- proof theory
- logic programming
- linear logic
- directed acyclic graph
- linear interpolation
- interpolation method
- logical framework
- bayesian networks
- sound and complete axiomatization
- low pass filtering
- piecewise polynomial
- real time
- interpolation methods
- regular expressions
- fixed point
- expert systems
- artificial intelligence