A Rewriting Logic Approach to Specification, Proof-search, and Meta-proofs in Sequent Systems.
Carlos OlarteElaine PimentelCamilo RochaPublished in: CoRR (2021)
Keyphrases
- proof search
- cut elimination
- sequent calculus
- inference rules
- natural deduction
- linear logic
- theorem prover
- theorem proving
- search procedure
- modal logic
- proof planning
- wide class
- asynchronous circuits
- expert systems
- classical logic
- first order logic
- decision procedures
- proof procedure
- fixed point
- sufficient conditions
- search space
- bayesian networks