{"title":"具有统一多结论规则的演绎系统","authors":"A. Citkin","doi":"10.21146/2074-1472-2020-26-2-87-105","DOIUrl":null,"url":null,"abstract":"Our goal is to develop a syntactical apparatus for propositional logics in which the accepted and rejected propositions have the same status and are being treated in the same way. The suggested approach is based on the ideas of Ƚukasiewicz used for the classical logic and in addition, it includes the use of multiple conclusion rules. A special attention is paid to the logics in which each proposition is either accepted or rejected.","PeriodicalId":155189,"journal":{"name":"Logical Investigations","volume":"24 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Deductive systems with unified multiple-conclusion rules\",\"authors\":\"A. Citkin\",\"doi\":\"10.21146/2074-1472-2020-26-2-87-105\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Our goal is to develop a syntactical apparatus for propositional logics in which the accepted and rejected propositions have the same status and are being treated in the same way. The suggested approach is based on the ideas of Ƚukasiewicz used for the classical logic and in addition, it includes the use of multiple conclusion rules. A special attention is paid to the logics in which each proposition is either accepted or rejected.\",\"PeriodicalId\":155189,\"journal\":{\"name\":\"Logical Investigations\",\"volume\":\"24 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2020-12-13\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Logical Investigations\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.21146/2074-1472-2020-26-2-87-105\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Logical Investigations","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.21146/2074-1472-2020-26-2-87-105","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Deductive systems with unified multiple-conclusion rules
Our goal is to develop a syntactical apparatus for propositional logics in which the accepted and rejected propositions have the same status and are being treated in the same way. The suggested approach is based on the ideas of Ƚukasiewicz used for the classical logic and in addition, it includes the use of multiple conclusion rules. A special attention is paid to the logics in which each proposition is either accepted or rejected.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
