Generalized Bounded Linear Logic and its Categorical Semantics.
Yoji FukiharaShin-ya KatsumataPublished in: FoSSaCS (2021)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- fixed point
- logic programs
- sequent calculus
- model theoretic
- cut elimination
- knowledge base
- nonmonotonic reasoning
- categorical data
- proof search
- answer sets
- desirable properties
- deductive databases
- default reasoning
- reasoning tasks
- answer set programming
- inference rules
- dynamical systems
- knowledge representation
- high level