A new representation theorem for contranegative deontic logic (Q1876087)

One of the features of `standard deontic logic' is that whenever \(a\to b\) is a thesis, then so too is \(Oa\to Ob\). Some deontic logicians have regarded this as objectionable, and have proposed weakened versions of the standard system to avoid it. In earlier publications culminating in his book [The structure of values and norms. Cambridge: Cambridge Univ. Press (2001; Zbl 0983.03002)], the author proposed a semantics for such logics, using preference relations satisfying a condition that he called contranegativity. However, no representation theorem was proven. This paper provides one.