Interpolation in many valued predicate logics using algebraic logic
Logic
2013-04-04 v1
Abstract
Using polyadic MV algebras, we show that many predicate many valued logics have the interpolation property.
Keywords
Cite
@article{arxiv.1304.0760,
title = {Interpolation in many valued predicate logics using algebraic logic},
author = {Tarek Sayed Ahmed},
journal= {arXiv preprint arXiv:1304.0760},
year = {2013}
}
Comments
49 pages. arXiv admin note: text overlap with arXiv:1304.0707