Keyphrases
- computer algebra
- algebraic structure
- natural deduction
- formal language
- sequent calculus
- proof procedure
- proof search
- modal logic
- multi valued
- computational properties
- transition systems
- cut elimination
- automated theorem proving
- proof theoretic
- logic programming
- relation algebra
- lambda calculus
- defeasible logic
- proof theory
- asynchronous circuits
- predicate logic
- operational semantics
- formal semantics
- multi agent systems
- linear time temporal logic
- data sets