{"title":"基于一致逻辑的插值特性","authors":"Enrico Marchioni, G. Metcalfe","doi":"10.1109/ISMVL.2010.46","DOIUrl":null,"url":null,"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.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":null,"pages":null},"PeriodicalIF":0.0000,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"15","resultStr":"{\"title\":\"Interpolation Properties for Uninorm Based Logics\",\"authors\":\"Enrico Marchioni, G. Metcalfe\",\"doi\":\"10.1109/ISMVL.2010.46\",\"DOIUrl\":null,\"url\":null,\"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.\",\"PeriodicalId\":447743,\"journal\":{\"name\":\"2010 40th IEEE International Symposium on Multiple-Valued Logic\",\"volume\":null,\"pages\":null},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-05-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"15\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 40th IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2010.46\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 40th IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2010.46","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
