Proofs and Refutations for Intuitionistic and Second-Order Logic (Extended Version).
Pablo BarenbaumTeodoro FreundPublished in: CoRR (2022)
Keyphrases
- natural deduction
- theorem prover
- cut elimination
- proof search
- linear logic
- sequent calculus
- automated reasoning
- inference rules
- computer algebra
- automated theorem proving
- theorem proving
- classical logic
- logical framework
- first order logic
- modal logic
- higher order
- formal proof
- wide class
- logic programming
- derivation rules
- predicate calculus
- high order
- sufficient conditions
- proof procedure
- multiscale
- neural network
- databases