Normative consequence relation and consequence operations on the language of dyadic deontic logic

Abstract

The first attempts were given by A. Hofstadter and J. C. C. McKinsey in [7] and J. J~rgensen in [8]. It is worth noticing that the key problem of G. H. von Wright's book Norm and Action was giving a definition of entailment of norms. Cf. also N. Rescher [9], B. Chellas [4], E. Sosa [ll], [12], C. L. Hamblin [6]. Very interesting remarks concerning the notion of entailment of norms can be found in papers of 0. Weinberger (cf. 1141) and L. Gumanski (cf. [S]). ~7 1 ) . Cf. A. Ross [lo], C. L. Hamblin [6].

Deontic Logic in Computer Science

“…Makinson[67] p. 30. Keuth[59] and Swirydowicz[102] therefore restrict their 'logic of norms' to statements of 'normative entailment' of the form !A ⊢!B.…”

Deontic Logic in Computer Science

“…Cf.Makinson [67] p. 30. Keuth[59] and Swirydowicz[102] therefore restrict their 'logic of norms' to statements of 'normative entailment' of the form !A ⊢!B.…”