A Symmetric Lambda-Calculus Corresponding to the Negation-Free Bilateral Natural Deduction.
Tatsuya AbeDaisuke KimuraPublished in: CoRR (2021)
Keyphrases
- lambda calculus
- natural deduction
- theorem prover
- predicate calculus
- programming language
- theorem proving
- inference rules
- logic programming
- cut elimination
- complex objects
- sequent calculus
- intuitionistic logic
- logic programs
- deductive databases
- database query languages
- automated reasoning
- horn clauses
- predicate logic
- higher order
- linear logic
- fixpoint
- program understanding
- datalog programs
- knowledge representation and reasoning
- artificial intelligence
- pairwise