Keyphrases
- classical logic
- linear logic
- natural deduction
- cut elimination
- logic programming
- logical framework
- modal logic
- quantum computation
- fuzzy set theory
- multi valued
- valued logic
- finite model theory
- sequent calculus
- computational properties
- geometric information
- probability theory
- proof search
- inference rules
- database
- predicate logic
- set theory
- proof theory
- geometric constraints
- horn logic