Automated Mutual Explicit Induction Proof in Separation Logic.
Quang-Trung TaTon Chanh LeSiau-Cheng KhooWei-Ngan ChinPublished in: FM (2016)
Keyphrases
- proof search
- linear logic
- proof planning
- proof theory
- theorem prover
- theorem proving
- automated theorem provers
- natural deduction
- computer algebra
- logical rules
- intuitionistic logic
- automated reasoning
- inference rules
- semi automated
- cut elimination
- fully automated
- proof theoretic
- automated theorem proving
- higher order logic
- sound and complete axiomatization
- epistemic logic
- multi valued
- concept learning
- semi automatic
- sequent calculus
- inductive learning
- inductive logic programming
- computer aided
- machine learning
- complete axiomatization
- neural network
- data sets