TY - JOUR
T1 - An alternative intuitionistic version of Mally's deontic logic
AU - Lokhorst, Gert Jan C
PY - 2016
Y1 - 2016
N2 - 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.
AB - 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.
KW - Deontic logic
KW - Intuitionistic logic
UR - http://www.scopus.com/inward/record.url?scp=84994559710&partnerID=8YFLogxK
UR - http://resolver.tudelft.nl/uuid:f64605f3-0e15-456f-8a16-1ed4ba720c7b
U2 - 10.4467/20842589RM.16.003.5280
DO - 10.4467/20842589RM.16.003.5280
M3 - Article
AN - SCOPUS:84994559710
SN - 0137-2904
SP - 35
EP - 41
JO - Reports on Mathematical Logic
JF - Reports on Mathematical Logic
IS - 51
ER -