An extension of the deontic calculus \(DSC_ 1\) (Q1060209)

The chief aim of the paper is to extend the calculus \(DSC_ 1\) (see the author's paper, ibid. 39, 63-75 (1980; Zbl 0444.03013)) in such a way as to satisfy all the requirements listed there as well as a further stipulation - called ''the principle of uninvolvement'' - to the effect that neither deontic compatibility nor deontic incompatibility of codes (see the author's paper, ibid. 34, 343-365 (1975; Zbl 0329.02007)) should be presupposed in deontic logic.