A process algebraic view of linear logic

MaRDI QIDQ4217603zbMATH OpenFDO

Authors Padmanabhan Krishnan, Jane Hopkins

Publication date 11 November 1998

zbMATH Keywords

process algebra

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Other algebras related to logic (03G25) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Recommendations

• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• scientific article; zbMATH DE number 1361538
• Relating reasoning methodologies in linear logic and process algebra
• Relating reasoning methodologies in linear logic and process algebra

Cited in

(9)

• scientific article; zbMATH DE number 3909727 (Why is no real title available?)
• scientific article; zbMATH DE number 1231519 (Why is no real title available?)
• Process-Algebraic Interpretations of Positive Linear and Relevant Logics
• Process algebra with five-valued conditions
• Process algebra with combinators
• A Logical Viewpoint on Process-algebraic Quotients
• A logical viewpoint on process-algebraic quotients
• Relating reasoning methodologies in linear logic and process algebra
• Relating reasoning methodologies in linear logic and process algebra

This page was built for publication: A process algebraic view of linear logic

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