An alternative intuitionistic version of Mally's deontic logic

Gert Jan C Lokhorst

doi:10.4467/20842589RM.16.003.5280

An alternative intuitionistic version of Mally's deontic logic

Gert Jan C Lokhorst^*

^*Corresponding author for this work

Ethics & Philosophy of Technology

Research output: Contribution to journal › Article › Scientific › peer-review

90 Downloads (Pure)

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.

Original language	English
Pages (from-to)	35-41
Number of pages	7
Journal	Reports on Mathematical Logic
Issue number	51
DOIs	https://doi.org/10.4467/20842589RM.16.003.5280
Publication status	Published - 2016

Keywords

Deontic logic
Intuitionistic logic

Access to Document

10.4467/20842589RM.16.003.5280

RML-51-3-1Final published version, 255 KB

Cite this

@article{f64605f30e15456f8a161ed4ba720c7b,

title = "An alternative intuitionistic version of Mally's deontic logic",

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.",

keywords = "Deontic logic, Intuitionistic logic",

author = "Lokhorst, \{Gert Jan C\}",

year = "2016",

doi = "10.4467/20842589RM.16.003.5280",

language = "English",

pages = "35--41",

journal = "Reports on Mathematical Logic",

issn = "0137-2904",

publisher = "Jagiellonian University Press",

number = "51",

}

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 - https://www.scopus.com/pages/publications/84994559710

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 -

An alternative intuitionistic version of Mally's deontic logic

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this