Some semantical aspects of linear logic

DOI10.1093/JIGPAL/5.4.487MaRDI QIDQ4353717zbMATH OpenOpenAlexFDO

Authors Andreas Blass

Publication date 17 February 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/d4694b4c9ecf8627668ef939567ab5ba6a60f8a3

zbMATH Keywords

``of course modalitydeterminacy of gamesgame semanticspropositional linear logicresource-consciousness

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Logic with extra quantifiers and operators (03C80)

Recommendations

• A game semantics for linear logic
• scientific article; zbMATH DE number 786485
• A parallel game semantics for linear logic
• scientific article; zbMATH DE number 1740317

Cited in

(15)

• A game semantics for linear logic
• A constructive game semantics for the language of linear logic
• Interpreting sequent calculi as client-server games
• A game model for proofs with costs
• Contraction-free proofs and finitary games for linear logic
• Quantitative Game Semantics for Linear Logic
• Some Syntactical Observations on Linear Logic
• scientific article; zbMATH DE number 1231527 (Why is no real title available?)
• scientific article; zbMATH DE number 1231531 (Why is no real title available?)
• Some Properties of Linear Logic Proved by Semantic Methods
• scientific article; zbMATH DE number 1740317 (Why is no real title available?)
• scientific article; zbMATH DE number 1361538 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• Resource modalities in tensor logic
• Template games and differential linear logic

This page was built for publication: Some semantical aspects of linear logic

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