From Truth Degree Comparison Games to Sequents-of-Relations Calculi for Gödel Logic.
Christian G. FermüllerTimo LangAlexandra PavlovaPublished in: Logica Universalis (2022)
Keyphrases
- linear logic
- sequent calculus
- sequent calculi
- cut elimination
- truth values
- valued logic
- modal logic
- inference rules
- natural deduction
- game theory
- fixed point
- spatial relations
- temporal relations
- formal theory
- fixpoint
- logical framework
- nash equilibria
- expert systems
- multi valued
- automated reasoning
- game playing
- computer games
- logic programming