Logic-Independent Proof Search in Logical Frameworks - (Short Paper).
Michael KohlhaseFlorian RabeClaudio Sacerdoti CoenJan Frederik SchaeferPublished in: IJCAR (1) (2020)
Keyphrases
- proof search
- theorem prover
- linear logic
- theorem proving
- inference rules
- proof planning
- search procedure
- proof procedure
- sequent calculus
- logical framework
- cut elimination
- predicate calculus
- intuitionistic logic
- genetic algorithm
- probabilistic logic
- first order logic
- propositional logic
- modal logic
- automated reasoning
- np complete
- expert systems
- search algorithm
- knowledge base