Deductive systems with unified multiple-conclusion rules

Alex Citkin
2020 Logical Investigations  
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.
doi:10.21146/2074-1472-2020-26-2-87-105 fatcat:nrhowetjuvaozmtirjvwdgwvxm