Detecting Loops During Proof Search in Propositional Affine Logic.
Tatjana LutovacJames HarlandPublished in: J. Log. Comput. (2006)
Keyphrases
- proof search
- proof procedure
- theorem proving
- theorem prover
- first order logic
- inference rules
- linear logic
- proof planning
- propositional logic
- search procedure
- predicate calculus
- horn clauses
- multi valued
- sequent calculus
- automated reasoning
- sound and complete axiomatization
- cut elimination
- fixed point
- constraint satisfaction problems
- modal logic
- knowledge representation
- intuitionistic logic
- artificial intelligence