A Second Paper "On the Interpolation Theorem for the Logic of Constant Domains".

E. G. K. López-Escobar

Published in: J. Symb. Log. (1983)

Keyphrases

intuitionistic logic
modal logic
logic programming
application domains
classical logic
real world
image interpolation
logical framework
proof theoretic
predicate logic
linear interpolation
digital circuits
von neumann
automated reasoning
interpolation method
data sets
cross domain
temporal logic
databases