Displayed Monoidal Categories for the Semantics of Linear Logic.
Benedikt AhrensRalph MatthesNiels van der WeideKobe WullaertPublished in: CPP (2024)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- desirable properties
- logic programs
- formal semantics
- cut elimination
- default reasoning
- proof search
- reasoning tasks
- default logic
- belief revision
- artificial intelligence
- nonmonotonic reasoning
- fixpoint
- argumentation frameworks
- model theoretic
- deductive databases
- sequent calculus
- programming language
- knowledge representation
- database systems