(Co)inductive proof systems for compositional proofs in reachability logic.
Vlad RusuDavid NowakPublished in: J. Log. Algebraic Methods Program. (2021)
Keyphrases
- natural deduction
- linear logic
- management system
- machine learning
- proof theory
- theorem prover
- cut elimination
- proof search
- intelligent systems
- inductive learning
- complex systems
- theorem proving
- formal proof
- asynchronous circuits
- distributed systems
- automated theorem proving
- interactive theorem proving
- formal methods
- recursive programs
- sequent calculus
- decision procedures
- inference rules
- logic programming
- state space
- genetic algorithm