Keyphrases
- linear logic
- cut elimination
- sequent calculus
- proof search
- natural deduction
- modal logic
- data sets
- website
- fixed point
- probabilistic logic
- classical logic
- linear complexity
- multi valued
- digital circuits
- nonmonotonic logics
- transfer function
- piecewise linear
- theorem proving
- logic programming
- expert systems
- bayesian networks
- neural network