{"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号
