The Other Linear Logic (Invited Paper).
Mikhail A. TaitslinD. ArkhangelskyPublished in: Formal Methods in Programming and Their Applications (1993)
Keyphrases
- invited paper
- linear logic
- proof theoretic
- cut elimination
- logical framework
- logic programming
- fixed point
- desirable properties
- intuitionistic logic
- lecture notes
- sequent calculus
- proof search
- high level
- researchers and practitioners
- information retrieval
- ambient intelligence
- recent advances
- computational intelligence
- image segmentation