Uniform interpolation in Substructural Logics.

Majid Alizadeh Farzaneh Derakhshan Hiroakira Ono

Published in: Rev. Symb. Log. (2014)

Keyphrases

propositional calculus
expressive power
modal logic
interpolation method
real time
image interpolation
data sets
artificial intelligence
linear interpolation
interpolation methods
neural network
knowledge base
case study
classical logic
propositional dynamic logic