TY  - RPRT
TI  - Interpolation in many valued predicate logics using algebraic logic
AU  - Tarek Sayed Ahmed
PY  - 2013
UR  - https://arxiv.org/abs/1304.0760
ID  - 1304.0760
ER  -