Preservation of Craig interpolation by the product of matrix logics.

Cristina Sernadas João Rasga Amílcar Sernadas

Published in: J. Appl. Log. (2013)

Keyphrases

expressive power
life cycle
image interpolation
interpolation methods
product design
linear algebra
singular value decomposition
modal logic
pairwise
positive definite
product quality
product development
epistemic logic
classical logic
singular values
low rank
missing data