Keyphrases
- finite model theory
- propositional logic
- logic programming
- modal logic
- multi valued
- classical logic
- predicate logic
- interpolation method
- logical framework
- case study
- multiscale
- image interpolation
- natural deduction
- sound and complete axiomatization
- proof theory
- edge directed
- monadic second order logic
- neural network
- interpolation methods
- probabilistic logic
- probabilistic model
- expert systems
- information systems
- artificial intelligence