scientific article; zbMATH DE number 1361538
zbMATH Open0935.03030MaRDI QIDQ4699356FDOQ4699356
Authors: Mitsuhiro Okada 
Publication date: 10 November 1999
Title of this publication is not available (Why is that?)
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
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)
Cited In (30)
- Title not available (Why is that?)
- Taking linear logic apart
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Relating reasoning methodologies in linear logic and process algebra
- Relating reasoning methodologies in linear logic and process algebra
- Linear logic automata
- Phase semantics for light linear logic
- 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
- Title not available (Why is that?)
- Linearity and passivity
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- A simplified semantics for a fragment of intuitionistic linear logic
- Title not available (Why is that?)
- On phase semantics and denotational semantics in multiplicative-additive linear logic
- Relating state-based and process-based concurrency through linear logic
- Title not available (Why is that?)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation
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)
