Cover systems for the modalities of linear logic

DOI10.1007/978-3-030-76920-8_8arXiv1610.09117OpenAlexW4206653400MaRDI QIDQ6201546

Robert Goldblatt

Publication date: 25 March 2024

Published in: Outstanding Contributions to Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1610.09117

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) General logic (03Bxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational semantics for full linear logic
• Linear logic
• Grishin algebras and cover systems for classical bilinear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantical analysis of predicate logics without the contraction rule
• Sheaves in geometry and logic: a first introduction to topos theory
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Semantic analysis of orthologic
• Some lattice models of bilinear logic
• Cover semantics for quantified lax logic
• Logics without the contraction rule
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic
• Generalized Kripke semantics for the Lambek-Grishin calculus

This page was built for publication: Cover systems for the modalities of linear logic