Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points.
Farzaneh DerakhshanFrank PfenningPublished in: CoRR (2020)
Keyphrases
- linear logic
- cut elimination
- fixed point
- sequent calculus
- proof search
- natural deduction
- first order logic
- sufficient conditions
- higher order
- logic programming
- logical framework
- neural network
- desirable properties
- theorem proving
- temporal difference learning
- inference rules
- theorem prover
- machine learning
- similarity measure
- image processing
- belief propagation
- dynamic programming
- bayesian networks
- high quality