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

DOI10.1007/BF01053246zbMath0809.03010MaRDI 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 logic; relational semantics; linear logic; algebraic semantics; IL-algebra

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03G25: Other algebras related to logic

03B20: Subsystems of classical logic (including intuitionistic logic)

Related Items

Categorial graphs, Normal modal substructural logics with strong negation, Multimodal linguistic inference

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