Applications of Linear Logic to Computation: An Overview

DOI10.1093/JIGPAL/2.1.77MaRDI QIDQ4318165zbMATH OpenOpenAlexWikidataFDO

Authors Vladimir Alexiev

Publication date 2 January 1995

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/4d79859842b88c6d1cf69c24c0f0c5a53063eb3c

zbMATH Keywords

applications of linear logic to computationconcurrent and object-oriented programmingfunctional programminglogic programmingnon-monotonic issues in AI planningsemantics of negationsurvey

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Subsystems of classical logic (including intuitionistic logic) (03B20) Logic in computer science (03B70) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Logic programming (68N17) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in artificial intelligence (68T27)

Recommendations

• Computational interpretations of linear logic
• scientific article; zbMATH DE number 2134912
• scientific article; zbMATH DE number 4023271
• scientific article; zbMATH DE number 4767
• scientific article; zbMATH DE number 4055576

Cited in

(10)

• Connection methods in linear logic and proof nets construction
• Linear logic in computer science
• Proof-search and proof nets in mixed linear logic
• Relational semantics for a fragment of linear logic
• Coordination: Reo, Nets, and Logic
• scientific article; zbMATH DE number 4023271 (Why is no real title available?)
• scientific article; zbMATH DE number 2134912 (Why is no real title available?)
• scientific article; zbMATH DE number 4767 (Why is no real title available?)
• scientific article; zbMATH DE number 2120362 (Why is no real title available?)
• Proceedings of the second joint international workshop on linearity \& trends in linear logic and applications, Linearity-TLLA, online, June 29--30, 2020

This page was built for publication: Applications of Linear Logic to Computation: An Overview

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4318165)