Shaving with Occam's Razor: Deriving Minimalist Theorem Provers for Minimal Logic.
Paul TarauPublished in: RCRA@FLoC (2018)
Keyphrases
- theorem prover
- automated reasoning
- higher order logic
- computer algebra
- automated theorem proving
- proof search
- natural deduction
- theorem proving
- boolean algebra
- first order logic
- inference rules
- predicate calculus
- term rewriting
- automated deduction
- higher order
- linear logic
- formal semantics
- classical logic
- reasoning tasks
- proof procedure
- data mining
- computer algebra systems
- answer set programming
- logic programming
- modal logic
- programming language
- knowledge representation
- timed automata
- pairwise
- proof planning
- expert systems
- machine learning