scientific article; zbMATH DE number 1361538
From MaRDI portal
Publication:4699356
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) 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)
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
(38)- Phase semantics and Petri net interpretation for resource-sensitive strong negation
- The semantics and proof theory of linear logic
- The structure of multiplicatives
- Phase semantics for light linear logic
- Linear logic automata
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- scientific article; zbMATH DE number 1693040 (Why is no real title available?)
- Linearity and passivity
- A language for multiplicative-additive linear logic
- Relational semantics for a fragment of linear logic
- A language for the logical specification of processes and relations
- A hybrid linear logic for constrained transition systems
- Phase semantics for linear-time formalism
- A simplified semantics for a fragment of intuitionistic linear logic
- scientific article; zbMATH DE number 4055576 (Why is no real title available?)
- scientific article; zbMATH DE number 1222107 (Why is no real title available?)
- scientific article; zbMATH DE number 1231523 (Why is no real title available?)
- scientific article; zbMATH DE number 1231524 (Why is no real title available?)
- scientific article; zbMATH DE number 1231527 (Why is no real title available?)
- scientific article; zbMATH DE number 1231574 (Why is no real title available?)
- Logique, effectivité et faisabilité
- scientific article; zbMATH DE number 1078383 (Why is no real title available?)
- scientific article; zbMATH DE number 1089034 (Why is no real title available?)
- scientific article; zbMATH DE number 1489627 (Why is no real title available?)
- scientific article; zbMATH DE number 1497730 (Why is no real title available?)
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- scientific article; zbMATH DE number 2134913 (Why is no real title available?)
- Model checking linear logic specifications
- Linear Logics with Communication-merge
- Relating state-based and process-based concurrency through linear logic
- scientific article; zbMATH DE number 1449225 (Why is no real title available?)
- Relating reasoning methodologies in linear logic and process algebra
- Taking linear logic apart
- A completeness theorem for symmetric product phase spaces
- Relating reasoning methodologies in linear logic and process algebra
- A syntax for linear logic
- Computational interpretations of linear logic
- Relating state-based and process-based concurrency through linear logic (full-version)
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)
