Keyphrases
- natural deduction
- cut elimination
- formal language
- sequent calculus
- proof search
- theorem prover
- model theoretic
- mathematical theory
- automated reasoning
- automated theorem proving
- operational semantics
- ctl model update
- computational logic
- logic programming
- multi valued
- inference rules
- theorem proving
- linear logic
- decision procedures
- formal model
- classical logic
- proof procedure
- asynchronous circuits
- computational properties
- mathematical proofs
- probabilistic logic
- highly expressive
- logical framework
- bayesian networks
- algebraic operators
- real time