A Constructive Logic with Classical Proofs and Refutations (Extended Version).
Pablo BarenbaumTeodoro FreundPublished in: CoRR (2021)
Keyphrases
- proof search
- theorem prover
- natural deduction
- cut elimination
- theorem proving
- sequent calculus
- linear logic
- inference rules
- automated theorem proving
- search procedure
- automated reasoning
- mathematical proofs
- quantum computation
- computer algebra
- decision procedures
- classical logic
- logical framework
- probability theory
- modal logic
- first order logic
- logic programming
- data sets
- classical methods
- predicate logic
- logic programs
- database systems
- neural network
- databases
- database