Connection-Based Proof Construction in Non-commutative Logic.
Didier GalmicheJ.-M. NotinPublished in: LPAR (2003)
Keyphrases
- proof theory
- natural deduction
- linear logic
- proof theoretic
- logic programming
- cut elimination
- proof search
- theorem proving
- higher order logic
- sequent calculus
- automated theorem proving
- logical rules
- neural network
- multi valued
- construction process
- modal logic
- rewrite systems
- complete axiomatization
- sequent calculi
- sound and complete axiomatization
- asynchronous circuits
- data sets
- defeasible logic
- classical logic
- automated reasoning
- default reasoning
- theorem prover
- logic programs
- decision making
- databases