2010 40th IEEE International Symposium on Multiple-Valued Logic (2010)
May 26, 2010 to May 28, 2010
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISMVL.2010.46
Craig and deductive interpolation properties are investigated for uninorm based fuzzy logics. In particular, it is shown that for a restricted language, the only extensions of monoidal t-norm logic with Craig interpolation are classical logic, Godel logic, and three-valued Godel logic. Quantifier elimination in an appropriate language and the amalgamation, deductive interpolation and Craig interpolation properties are established for the logics based on idempotent residuated uninorms with an involutive negation.
Uninorm Based Logics, Deductive Interpolation, Craig Interpolation, Quantifier Elimination
Enrico Marchioni, George Metcalfe, "Interpolation Properties for Uninorm Based Logics", 2010 40th IEEE International Symposium on Multiple-Valued Logic, vol. 00, no. , pp. 205-210, 2010, doi:10.1109/ISMVL.2010.46