Pretopology semantics for bimodal intuitionistic linear logic

DOI10.1093/JIGPAL/5.1.65MaRDI QIDQ4340929zbMATH OpenOpenAlexFDO

Authors Chrysafis Hartonas

Publication date 4 February 1998

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

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

zbMATH Keywords

contractionintuitionistic linear logicmodalitiesweakeningpretopology semantics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Recommendations

• scientific article; zbMATH DE number 4108721
• scientific article; zbMATH DE number 218517
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• A simplified semantics for a fragment of intuitionistic linear logic

Cited in

(3)

• Pretopologies and completeness proofs
• Semantics of weakening and contraction
• scientific article; zbMATH DE number 4108721 (Why is no real title available?)

This page was built for publication: Pretopology semantics for bimodal intuitionistic linear logic

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