Proof Tactics for Assertions in Separation Logic.
Zhe HouDavid SanánAlwen TiuYang LiuPublished in: ITP (2017)
Keyphrases
- proof theory
- natural deduction
- proof search
- linear logic
- proof theoretic
- theorem prover
- logical rules
- higher order logic
- cut elimination
- automated theorem proving
- sequent calculi
- knowledge base
- automated reasoning
- theorem proving
- classical logic
- default reasoning
- modal logic
- inference rules
- predicate logic
- complete axiomatization
- proof procedure
- computer algebra
- sequent calculus
- logic programming
- first order logic
- database
- classical first order logic
- expressive power
- multi valued
- abductive reasoning
- digital circuits