Axioms and models of linear logic

DOI10.1007/BF01888221zbMATH Open0703.03010OpenAlexW1999415095WikidataQ114693753 ScholiaQ114693753MaRDI QIDQ915719FDOQ915719

Authors: W. H. Hesselink 

Publication date: 1990

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01888221

Recommendations

• scientific article; zbMATH DE number 786485
• The semantics and proof theory of linear logic
• Some Properties of Linear Logic Proved by Semantic Methods
• Models of linear logic
• scientific article; zbMATH DE number 1489627

zbMATH Keywords

linear logicdeduction theoremHilbert-style formulationtopological Girard monoids

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Logic in computer science (03B70) Proof theory and constructive mathematics (03F99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Linear logic
• The system \({\mathcal F}\) of variable types, fifteen years later
• Title not available (Why is that?)
• Proof theory. 2nd ed
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Linear arithmetic desecsed
• Title not available (Why is that?)
• Linear logic displayed
• Models of linear logic
• An Infinitary Model of Linear Logic
• Exploring the gap between linear and classical logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Preface
• Autonomous posets and quantales

This page was built for publication: Axioms and models of linear logic

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