A Constructive Logic with Classical Proofs and Refutations.
Pablo BarenbaumTeodoro FreundPublished in: LICS (2021)
Keyphrases
- proof search
- theorem prover
- natural deduction
- cut elimination
- theorem proving
- automated reasoning
- linear logic
- sequent calculus
- quantum computation
- inference rules
- automated theorem proving
- computer algebra
- multi valued
- horn logic
- probability theory
- search engine
- classical logic
- modal logic
- propositional logic
- temporal logic
- logic programming
- linear temporal logic
- multi agent
- formal proof
- information systems
- learning algorithm
- classical first order logic
- sound and complete axiomatization