scientific article; zbMATH DE number 1361538
From MaRDI portal
Publication:4699356
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
Recommendations
- The semantics and proof theory of linear logic
- scientific article; zbMATH DE number 786485
- scientific article; zbMATH DE number 1231574
- Phase semantics for light linear logic
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- scientific article; zbMATH DE number 785051
- scientific article; zbMATH DE number 1104361
- Some semantical aspects of linear logic
- scientific article; zbMATH DE number 2152687
- scientific article; zbMATH DE number 1231527
Cited in
(30)- scientific article; zbMATH DE number 2134913 (Why is no real title available?)
- Taking linear logic apart
- scientific article; zbMATH DE number 1231523 (Why is no real title available?)
- scientific article; zbMATH DE number 1231527 (Why is no real title available?)
- A language for multiplicative-additive linear logic
- The structure of multiplicatives
- The semantics and proof theory of linear logic
- Computational interpretations of linear logic
- A hybrid linear logic for constrained transition systems
- Linear logic automata
- Phase semantics for light linear logic
- Relating reasoning methodologies in linear logic and process algebra
- Relating reasoning methodologies in linear logic and process algebra
- A syntax for linear logic
- Relational semantics for a fragment of linear logic
- A language for the logical specification of processes and relations
- Relating state-based and process-based concurrency through linear logic (full-version)
- Model checking linear logic specifications
- A completeness theorem for symmetric product phase spaces
- Linear Logics with Communication-merge
- Phase semantics for linear-time formalism
- scientific article; zbMATH DE number 1693040 (Why is no real title available?)
- Linearity and passivity
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- A simplified semantics for a fragment of intuitionistic linear logic
- scientific article; zbMATH DE number 1078383 (Why is no real title available?)
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Relating state-based and process-based concurrency through linear logic
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- scientific article; zbMATH DE number 4055576 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4699356)
