{"title":"模糊部分逻辑","authors":"L. Behounek, V. Novák","doi":"10.1109/ISMVL.2015.43","DOIUrl":null,"url":null,"abstract":"In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics formed by algebras of truth values extended by a special value \"*\". This value may have several interpretations, such as \"undefined\", \"meaningless\", \"non-applicable\", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.","PeriodicalId":118417,"journal":{"name":"2015 IEEE International Symposium on Multiple-Valued Logic","volume":"31 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2015-05-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"35","resultStr":"{\"title\":\"Towards Fuzzy Partial Logic\",\"authors\":\"L. Behounek, V. Novák\",\"doi\":\"10.1109/ISMVL.2015.43\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics formed by algebras of truth values extended by a special value \\\"*\\\". This value may have several interpretations, such as \\\"undefined\\\", \\\"meaningless\\\", \\\"non-applicable\\\", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.\",\"PeriodicalId\":118417,\"journal\":{\"name\":\"2015 IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"31 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2015-05-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"35\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2015 IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2015.43\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2015 IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2015.43","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
In this paper, we discuss the possibility to develop fuzzy partial logics in which some formulas may have undefined truth values. The main idea is to consider semantics of these logics formed by algebras of truth values extended by a special value "*". This value may have several interpretations, such as "undefined", "meaningless", "non-applicable", etc. This approach requires extension of the original connectives to new ones that behave as the original ones if all of their arguments are defined. We also present a general method of defining the new connectives and outline axioms and deduction rules for these logics.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
