Cut-free Gentzen calculus for multimodal CK.
Michael MendlerStephan ScheelePublished in: Inf. Comput. (2011)
Keyphrases
- sequent calculus
- cut elimination
- linear time temporal logic
- linear logic
- multi modal
- databases
- horn clauses
- logical framework
- natural deduction
- type checking
- multimodal interfaces
- multimodal interaction
- relational calculus
- bayesian networks
- database systems
- case study
- website
- multimedia
- information systems
- genetic algorithm