Fucusing and Proof-Nets in Linear and Non-commutative Logic.
Jean-Marc AndreoliRoberto MaieliPublished in: LPAR (1999)
Keyphrases
- proof theory
- linear logic
- proof search
- natural deduction
- classical logic
- artificial intelligence
- automated reasoning
- proof theoretic
- higher order logic
- automated theorem proving
- theorem proving
- theorem prover
- epistemic logic
- logic programming
- machine learning
- logical rules
- cut elimination
- databases
- probability theory
- inference rules
- modal logic
- special case
- knowledge base
- sequent calculus
- data sets