On the Interpolation Theorem for the Logic of Constant Domains.

E. G. K. López-Escobar

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

Keyphrases

intuitionistic logic
application domains
real world
predicate logic
asynchronous circuits
database
neural network
video sequences
search algorithm
multi agent systems
logic programming
cross domain
probabilistic logic
image interpolation
linear interpolation
digital topology