Definability and Interpolation in Non-Classical Logics.

Larisa Maksimova

Published in: Stud Logica (2006)

Keyphrases

fixed point
propositional logic
image interpolation
automated theorem proving
database
linear interpolation
classical logic
real time
learning algorithm
artificial intelligence
search engine
database systems
multiscale
super resolution
piecewise polynomial