1. Unified Deductive Systems: An Outline.
- Author
-
Citkin, Alex
- Abstract
Our goal is to develop a syntactical apparatus for propositional logics in which the accepted and rejected propositions have the same status and obeying 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. More precisely, a consequence relation is defined on a set of statements of forms "proposition A is accepted" and "proposition A is rejected", where A is a proposition,—a unified consequence relation. Accordingly, the rules defining a unified consequence relation,—the unified rules, have statements as premises and as conclusions. A special attention is paid to the logics in which each proposition is either accepted or rejected. If we express this property via unified rules and add them to a unified deductive system, such a unified deductive system defines a reversible unified consequence: a statement "proposition B is accepted" is derived from the statement "proposition A is accepted" if and only if a statement "proposition A is rejected" is derived from the statement "proposition B is rejected". [ABSTRACT FROM AUTHOR]
- Published
- 2023
- Full Text
- View/download PDF