An alternative intuitionistic version of Mally's deontic logic
An alternative intuitionistic version of Mally's deontic logic

Summary/Abstract: Some years ago, Lokhorst proposed an intuitionistic reformulation of Mally's deontic logic (1926). This reformulation was unsatisfactory, because it provided a striking theorem that Mally himself did not mention. In this paper, we present an alternative reformulation of Mally's deontic logic that does not provide this theorem.

• Details
• Contents