Hypersequent Calculi for Gödel Logics - a Survey.
Matthias BaazAgata CiabattoniChristian G. FermüllerPublished in: J. Log. Comput. (2003)
Keyphrases
- sequent calculi
- valued logic
- modal logic
- conditional logic
- expressive power
- classical logic
- cut elimination
- social bookmarking
- nonmonotonic logics
- propositional calculus
- temporal logic
- propositional dynamic logic
- epistemic logic
- natural deduction
- real time
- logic programs
- sequent calculus
- neural network
- proof theory
- linear logic
- reasoning problems
- database
- computational properties
- propositional logic
- information retrieval