A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy
{"title":"直言三段论演绎的数学软件","authors":"A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy","doi":"10.1109/ISMSIT.2019.8932877","DOIUrl":null,"url":null,"abstract":"In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.","PeriodicalId":169791,"journal":{"name":"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"1","resultStr":"{\"title\":\"A Mathematical Software for Deduction of Categorical Syllogisms\",\"authors\":\"A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy\",\"doi\":\"10.1109/ISMSIT.2019.8932877\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.\",\"PeriodicalId\":169791,\"journal\":{\"name\":\"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"1\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMSIT.2019.8932877\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2019 3rd International Symposium on Multidisciplinary Studies and Innovative Technologies (ISMSIT)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMSIT.2019.8932877","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
A Mathematical Software for Deduction of Categorical Syllogisms
In this work, we give a software to calculate deductions which are obtained from premises of syllogisms by the help of the SLCD (Syllogistic Logic with Carroll Diagrams) system. Moreover, this software determines whether syllogistic reasoning valid or not based on the calculus system SLCD. This software is also designed to support intelligent systems to make a decision effectively and based on mathematical background.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
