Keyphrases
- natural deduction
- cut elimination
- tree structure
- sequent calculus
- modal logic
- classical logic
- logic programming
- tree construction
- tree nodes
- theorem prover
- index structure
- tree structures
- proof search
- tree models
- automated theorem proving
- binary tree
- asynchronous circuits
- multi valued
- inference rules
- b tree
- hierarchical structure
- proof theory
- formal proofs
- logical framework
- linear logic
- defeasible logic
- data sets
- tree search
- leaf nodes
- theorem proving
- multi dimensional
- neural network