Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics

DOI10.1007/BF01053246zbMath0809.03010OpenAlexW2072934838MaRDI QIDQ1337609

Anna Bucalo

Publication date: 10 November 1994

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

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

zbMATH Keywords

modal logicrelational semanticslinear logicalgebraic semanticsIL-algebra

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (4)

Categorial graphs ⋮ Multimodal linguistic inference ⋮ Cover systems for the modalities of linear logic ⋮ Normal modal substructural logics with strong negation

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Constructive domain theory as a branch of intuitionistic pointfree topology
• Pretopologies and a uniform presentation of sup-lattices, quantales and frames
• Pretopologies and completeness proofs

This page was built for publication: Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics