Proof-graphs for Minimal Implicational Logic.
Marcela Quispe-CruzEdward Hermann HaeuslerLew GordeevPublished in: DCM (2013)
Keyphrases
- graph model
- proof theory
- linear logic
- graph partitioning
- natural deduction
- proof search
- proof theoretic
- graph structure
- weighted graph
- cut elimination
- higher order logic
- logical rules
- modal logic
- default reasoning
- automated theorem proving
- sequent calculi
- multi valued
- sequent calculus
- computational properties
- classical logic
- automated reasoning
- theorem proving
- theorem prover
- logic programming
- predicate logic
- logical framework
- complete axiomatization
- defeasible logic
- bayesian networks