Pretopology semantics for bimodal intuitionistic linear logic

DOI10.1093/JIGPAL/5.1.65zbMATH Open0882.03015OpenAlexW2044008955MaRDI QIDQ4340929FDOQ4340929

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

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

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)

Cited In (3)

• Pretopologies and completeness proofs
• Semantics of weakening and contraction
• Title not available (Why is that?)

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)