Residuated Basic Logic II. Interpolation, Decidability and Embedding.

Minghui Ma Zhe Lin

Published in: CoRR (2014)

Keyphrases

description logics
computational properties
automated reasoning
decision procedures
classical logic
modal logic
logic programming
automata theoretic
query answering
proof theory
image interpolation
robust image watermarking
databases
predicate logic
linear interpolation
logical framework
vector space
digital images