Proofs and Refutations for Intuitionistic and Second-Order Logic.
Pablo BarenbaumTeodoro FreundPublished in: CSL (2023)
Keyphrases
- natural deduction
- theorem prover
- proof search
- cut elimination
- linear logic
- automated reasoning
- sequent calculus
- computer algebra
- automated theorem proving
- inference rules
- theorem proving
- classical logic
- first order logic
- higher order
- formal proof
- wide class
- mathematical proofs
- logical framework
- modal logic
- logic programming
- sufficient conditions
- horn clauses
- fixed point
- reasoning tasks
- high order
- computational intelligence
- bayesian networks
- neural network
- data sets