Completeness Proofs for Diagrammatic Logics.
Jim BurtonGem StapletonJohn HowsePublished in: Diagrams (2012)
Keyphrases
- formal proofs
- equational theories
- decision procedures
- modal logic
- expressive power
- inference rules
- theorem proving
- natural deduction
- classical logic
- order sorted
- sequent calculus
- theorem prover
- intuitionistic logic
- proof theory
- cut elimination
- nonmonotonic logics
- propositional dynamic logic
- automated theorem provers
- interactive theorem proving
- artificial intelligence
- automated reasoning
- default logic
- data quality
- description logics