Obsessional experiments for linear logic proof-nets

DOI10.1017/S0960129503003967MaRDI QIDQ4811556zbMATH OpenFDO

Authors Lorenzo Tortora de Falco

Publication date 6 September 2004

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

linear logicinjectivityproof-netcoherent semantics

Mathematics Subject Classification ID

Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• The relational model is injective for multiplicative exponential linear logic (without weakenings)
• Coherent models of proof nets
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• Some Properties of Linear Logic Proved by Semantic Methods
• Coherence of proof-net categories

Cited in

(8)

• scientific article; zbMATH DE number 7089070 (Why is no real title available?)
• An abstract approach to stratification in linear logic
• Visible acyclic differential nets. I: Semantics
• The relational model is injective for multiplicative exponential linear logic (without weakenings)
• A semantic measure of the execution time in linear logic
• scientific article; zbMATH DE number 7003195 (Why is no real title available?)
• Weak typed Böhm theorem on IMLL
• Syntax vs. semantics: A polarized approach

This page was built for publication: Obsessional experiments for linear logic proof-nets

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