An intuitionistic logic for preference relations.
Paolo MaffezioliAlberto NaiboPublished in: Log. J. IGPL (2019)
Keyphrases
- preference relations
- intuitionistic logic
- linear logic
- classical logic
- desirable properties
- partial order
- multi attribute
- multiple agents
- decision theory
- natural deduction
- decision problems
- normal form
- proof theoretic
- machine learning
- model checker
- model checking
- logic programming
- relational databases
- bayesian networks
- database systems
- cut elimination
- sequent calculus
- argumentation frameworks
- graphical representation
- multi dimensional
- default logic