Cover systems for the modalities of linear logic

DOI10.1007/978-3-030-76920-8_8MaRDI QIDQ6201546zbMATH OpenOpenAlexFDO

Authors 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)

Abstract: Ono's modal FL-algebras are models of an extension of Full Lambek logic that has the modalities ! and ? of linear logic. Here we define a notion of modal FL-cover system that combines aspects of Beth-Kripke-Joyal semantics with Girard's interpretation of the ! modality, and has structured subsets that interpret propositions. We show that any modal FL-algebra can be represented as an algebra of propositions of some modal FL-cover system.

Cites work

• scientific article; zbMATH DE number 5295711 (Why is no real title available?)
• scientific article; zbMATH DE number 4108721 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1489627 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 786485 (Why is no real title available?)
• scientific article; zbMATH DE number 1406811 (Why is no real title available?)
• Cover semantics for quantified lax logic
• Generalized Kripke semantics for the Lambek-Grishin calculus
• Grishin algebras and cover systems for classical bilinear logic
• Linear logic
• Locales, nuclei, and Dragalin frames
• Logics without the contraction rule
• Modalities in linear logic weaker than the exponential ``of course: Algebraic and relational semantics
• Quantifiers, propositions and identity. Admissible semantics for quantified modal and substructural logics
• Relational semantics for full linear logic
• Residuated lattices. An algebraic glimpse at substructural logics
• Semantic analysis of orthologic
• Semantical analysis of predicate logics without the contraction rule
• Sheaves in geometry and logic: a first introduction to topos theory
• Some lattice models of bilinear logic
• The finite model property for various fragments of intuitionistic linear logic
• The finite model property for various fragments of linear logic

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

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