Keyphrases
- formal language
- computer algebra
- algebraic structure
- natural deduction
- sequent calculus
- proof procedure
- automated theorem proving
- proof search
- cut elimination
- relation algebra
- multi valued
- modal logic
- logic programming
- classical logic
- proof theoretic
- asynchronous circuits
- linear logic
- computational properties
- theorem prover
- transition systems
- theorem proving
- lambda calculus
- information systems
- epistemic logic
- proof theory
- automated deduction
- database
- defeasible logic
- logical framework
- probability theory
- inference rules
- relational databases
- neural network