Semantical Observations on the Embedding of Intuitionistic Logic into Intuitionistic Linear Logic.
Sara NegriPublished in: Math. Struct. Comput. Sci. (1995)
Keyphrases
- linear logic
- intuitionistic logic
- fixed point
- logic programming
- cut elimination
- proof theoretic
- sequent calculus
- logical framework
- proof search
- classical logic
- desirable properties
- probabilistic model
- natural deduction
- inference rules
- bayesian networks
- machine learning
- graphical models
- markov random field
- artificial intelligence