The Community for Technology Leaders
2013 IEEE 43rd International Symposium on Multiple-Valued Logic (2010)
Barcelona, Spain
May 26, 2010 to May 28, 2010
ISSN: 0195-623X
ISBN: 978-0-7695-4024-5
pp: 205-210
ABSTRACT
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.
INDEX TERMS
Uninorm Based Logics, Deductive Interpolation, Craig Interpolation, Quantifier Elimination
CITATION
George Metcalfe, Enrico Marchioni, "Interpolation Properties for Uninorm Based Logics", 2013 IEEE 43rd International Symposium on Multiple-Valued Logic, vol. 00, no. , pp. 205-210, 2010, doi:10.1109/ISMVL.2010.46
89 ms
(Ver 3.3 (11022016))