On the Proofs of Arithmetical Completeness for Interpretability Logic.
Domenico ZambellaPublished in: Notre Dame J. Formal Log. (1992)
Keyphrases
- natural deduction
- formal proofs
- equational theories
- cut elimination
- sequent calculus
- automated reasoning
- proof search
- modal logic
- theorem prover
- theorem proving
- multi valued
- classical logic
- decision procedures
- logic programming
- computer algebra
- linear logic
- predicate logic
- rule base
- prediction accuracy
- formal proof
- neural network
- proof theory
- automated theorem proving
- inference rules
- logical framework
- probabilistic logic
- logic programs
- website
- propositional dynamic logic
- data sets
- mathematical proofs