Axioms and models of linear logic

DOI10.1007/BF01888221zbMath0703.03010OpenAlexW1999415095WikidataQ114693753 ScholiaQ114693753MaRDI QIDQ915719

Wim 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

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)

Related Items (1)

Autonomous posets and quantales

Cites Work

• Linear logic
• Proof theory. 2nd ed
• The system \({\mathcal F}\) of variable types, fifteen years later
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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