An Intuitionistic Reformulation of Mally's Deontic Logic.
Gert-Jan C. LokhorstPublished in: J. Philos. Log. (2013)
Keyphrases
- deontic logic
- linear logic
- knowledge representation language
- theorem prover
- inference rules
- fuzzy set theory
- interval valued
- nonmonotonic logics
- legal reasoning
- fuzzy information
- classical logic
- update semantics
- natural deduction
- formal semantics
- logical framework
- fuzzy numbers
- modal logic
- logic programming
- artificial intelligence
- real valued
- fuzzy sets
- control system
- training data