A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics.
Simon DochertyDavid J. PymPublished in: MFPS (2018)
Keyphrases
- intuitionistic logic
- modal logic
- classical logic
- proof theory
- epistemic logic
- propositional dynamic logic
- propositional calculus
- computational properties
- nonmonotonic logics
- linear logic
- linear programming
- expressive power
- inference rules
- horn logic
- proof theoretic
- coalition logic
- proof procedures
- sequent calculi
- automated reasoning
- description logics
- neural network
- valued logic
- knowledge representation formalisms
- natural deduction
- decision procedures
- bayesian networks
- knowledge base
- data sets