Proof-theoretic Semantics for the Logic of Bunched Implications.
Tao GuAlexander V. GheorghiuDavid J. PymPublished in: CoRR (2023)
Keyphrases
- proof theoretic
- proof theory
- model theoretic
- default reasoning
- linear logic
- nonmonotonic reasoning
- intuitionistic logic
- constraint logic programming
- deductive databases
- fixpoint
- logic programming
- operational semantics
- logic programs
- description logics
- cut elimination
- probabilistic reasoning
- belief revision
- natural deduction
- expert systems
- knowledge base
- artificial intelligence