AN ALTERNATIVE INTUITIONISTIC VERSION OF MALLY'S DEONTIC LOGIC

作者：Lokhorst Gert Jan C^*

来源：Reports on Mathematical Logic, 2016, 51: 35-41.

DOI：10.4467/20842589RM.16.003.5280

• deontic logic
• intuitionistic logic

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.

• 出版日期2016