科研之友
微信
新浪微博
Facebook
分享链接
摘要
In this paper we investigate the connections between quantifier elimination, decidability and Uniform Craig Interpolation in Delta-core fuzzy logics added with propositional quantifiers. As a consequence, we are able to prove that several propositional fuzzy logics have a conservative extension which is a Delta-core fuzzy logic and has Uniform Craig Interpolation.
- 出版日期2012-4
