An intuitionistic reformulation of Mally's deontic logic

DOI10.1007/s10992-012-9242-6zbMath1314.03024OpenAlexW2084363808MaRDI QIDQ373016

Gert-Jan C. Lokhorst

Publication date: 21 October 2013

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-012-9242-6

zbMATH Keywords

deontic logicintuitionistic logiclax logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items

Towards an intuitionistic deontic logic tolerating conflicting obligations ⋮ Notes on Mally's deontic logic and the collapse of \textit{Seinsollen} and \textit{Sein} ⋮ Mally's deontic logic: reducibility and semantics

Cites Work

• Propositional lax logic
• Cover semantics for quantified lax logic
• Proof of the independence of the primitive symbols of Heyting's calculus of propositions
• Unnamed Item
• Unnamed Item