Labelled cyclic proofs for separation logic.
Didier GalmicheDaniel MéryPublished in: J. Log. Comput. (2021)
Keyphrases
- natural deduction
- cut elimination
- modal logic
- proof search
- sequent calculus
- automated reasoning
- logic programming
- inference rules
- theorem proving
- theorem prover
- predicate logic
- decision procedures
- computational properties
- sound and complete axiomatization
- classical logic
- probability theory
- formal proofs
- defeasible logic
- linear logic
- asynchronous circuits
- epistemic logic
- formal theory
- real time
- probabilistic logic
- website
- neural network