Keyphrases
- complex objects
- natural deduction
- relational calculus
- cut elimination
- computer algebra
- formal language
- sequent calculus
- lambda calculus
- database query languages
- proof search
- proof procedure
- predicate logic
- classical logic
- automated theorem proving
- computational properties
- transition systems
- modal logic
- logic programming
- linear logic
- query language
- deontic logic
- algebraic structure
- asynchronous circuits
- neural network
- automated reasoning
- relational algebra
- distance function
- proof theory
- propositional logic
- inference rules
- linear time temporal logic