Rejected axioms for the “nonsense-logic” W and the k-valued logic of Sobociński
Robert Sochacki · Logic and Logical Philosophy · 2009
In this paper rejection systems for the “nonsense-logic” W and the k-valued implicational-negational sentential calculi of Sobociński are given. Considered systems consist of computable sets of rejected axioms and only one rejection rule: the rejection version of detachment rule.