Craig interpolation for semilinear substructural logics.

Enrico Marchioni George Metcalfe

Published in: Math. Log. Q. (2012)

Keyphrases

propositional calculus
expressive power
linear interpolation
modal logic
epistemic logic
inference rules
database
neural network
interpolation method
interpolation methods
surface interpolation
case study
low pass filtering
edge directed