On structuring proof search for first order linear logic.
Paola BruscoliAlessio GuglielmiPublished in: Theor. Comput. Sci. (2006)
Keyphrases
- linear logic
- proof search
- first order logic
- sequent calculus
- theorem prover
- logic programming
- fixed point
- cut elimination
- proof theoretic
- logical framework
- desirable properties
- higher order
- inference rules
- intuitionistic logic
- theorem proving
- predicate calculus
- proof procedure
- horn clauses
- artificial intelligence
- sufficient conditions
- graphical models