Connection-Based Proof Search in Propositional BI Logic.
Didier GalmicheDaniel MéryPublished in: CADE (2002)
Keyphrases
- proof search
- proof procedure
- theorem proving
- first order logic
- theorem prover
- inference rules
- propositional logic
- linear logic
- proof planning
- search procedure
- predicate calculus
- cut elimination
- sequent calculus
- horn clauses
- sound and complete axiomatization
- automated reasoning
- modal logic
- simulated annealing
- probabilistic logic
- search algorithm
- programming language