From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Christian G. FermüllerTimo LangAlexandra PavlovaPublished in: IPMU (1) (2020)
Keyphrases
- linear logic
- sequent calculi
- cut elimination
- sequent calculus
- truth values
- valued logic
- inference rules
- spatial relations
- modal logic
- logic programming
- game theoretic
- natural deduction
- multi valued
- classical logic
- conditional logic
- temporal relations
- imperfect information
- logical framework
- machine learning
- fixpoint
- game playing
- fixed point
- game theory
- multi agent systems