Conditional normative reasoning with substructural logics

MaRDI QIDQ5224808zbMATH OpenFDO

Authors Clayton Peterson, Piotr Kulicki

Publication date 24 July 2019

zbMATH Keywords

conditional obligationLambek calculuslinear logicmonadic deontic operatormultiplicative disjunctionrelevant logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Recommendations

• Contrary-to-duty reasoning: a categorical approach
• A paraconsistent and substructural conditional logic
• Current trends in substructural logics
• Logic of violations: a Gentzen system for reasoning with contrary-to-duty obligations
• Open reading and free choice permission: a perspective in substructural logics

Cited in

(7)

• Conditional logics of normality: A modal approach
• Obligation and the conditional in stit theory
• Contrary-to-duty reasoning: a categorical approach
• scientific article; zbMATH DE number 4176489 (Why is no real title available?)
• A comparison between monoidal and substructural logics
• The categorical imperative: category theory as a foundation for deontic logic
• Normative reasoning by sequent-based argumentation

This page was built for publication: Conditional normative reasoning with substructural logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224808)