Modalities in linear logic weaker than the exponential "of course": Algebraic and relational semantics.
Anna BucaloPublished in: J. Log. Lang. Inf. (1994)
Keyphrases
- linear logic
- proof theoretic
- logic programming
- logical framework
- intuitionistic logic
- algebraic structure
- cut elimination
- fixed point
- logic programs
- algebraic operators
- answer set programming
- desirable properties
- relational databases
- formal semantics
- inference rules
- sequent calculus
- proof search
- model theoretic
- data model
- machine learning
- operational semantics
- relational structures
- higher order