Automated Mutual Explicit Induction Proof in Separation Logic.
Quang-Trung TaTon Chanh LeSiau-Cheng KhooWei-Ngan ChinPublished in: CoRR (2016)
Keyphrases
- proof search
- linear logic
- proof planning
- theorem prover
- proof theory
- theorem proving
- natural deduction
- automated theorem provers
- proof theoretic
- inference rules
- proof procedure
- cut elimination
- automated theorem proving
- sequent calculus
- fully automated
- sequent calculi
- logical rules
- computer aided
- semi automated
- intuitionistic logic
- computer algebra
- machine learning
- concept formation
- logical framework
- higher order logic
- default reasoning
- inductive inference
- model checking
- functional language
- truth values
- asynchronous circuits
- data sets
- classical logic
- multi valued
- automated reasoning
- rule induction
- logic programming
- neural network