Cover systems for the modalities of linear logic

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

Authors: Robert Goldblatt 

Publication date: 25 March 2024

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

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.

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

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

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)