A. Gursoy, T. Oner, Ibrahim Senturk, Necla Kircali Gursoy
{"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}
引用次数: 1
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.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
