A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf
.
Deductive systems with unified multiple-conclusion rules
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