Towards an Intuitionistic Deontic Logic Tolerating Conflicting Obligations.

Tiziano Dalmonte Charles Grellois Nicola Olivetti

Published in: WoLLIC (2022)

Keyphrases

deontic logic
knowledge representation language
linear logic
update semantics
legal reasoning
inference rules
fuzzy set theory
classical logic
theorem prover
nonmonotonic logics
fuzzy information
fuzzy numbers
logical framework
fuzzy relations
natural deduction