Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDA (Full Paper).
Felix A. WolfMalte SchwerhoffPeter MüllerPublished in: CoRR (2020)
Keyphrases
- proof theory
- theorem prover
- database
- linear logic
- natural deduction
- proof search
- information retrieval
- neural network
- decision trees
- high level
- higher level
- complex systems
- modal logic
- complex environments
- automated theorem proving
- proof theoretic
- sequent calculi
- defeasible logic
- website
- search engine
- artificial intelligence
- databases
- real time