Collection frames for distributive substructural logics

Greg Restall, Shawn Standefer

Research output: Contribution to journalArticlepeer-review


We present a new frame semantics for positive relevant and substructural propositional logics. This frame semantics is both a generalisation of Routley–Meyer ternary frames and a simplification of them. The key innovation of this semantics is the use of a single accessibility relation to relate collections of points to points. Different logics are modeled by varying the kinds of collections used: they can be sets, multisets, lists or trees. We show that collection frames on trees are sound and complete for the basic positive distributive substructural logic B+ , that collection frames on multisets are sound and complete for RW+ (the relevant logic R+ , without contraction, or equivalently, positive multiplicative and additive linear logic with distribution for the additive connectives), and that collection frames on sets are sound for the positive relevant logic R+. The completeness of set frames for R+ is, currently, an open question.
Original languageEnglish
Pages (from-to)1120-1157
Number of pages38
JournalThe Review of Symbolic Logic
Issue number4
Early online date13 Jul 2022
Publication statusPublished - 13 Dec 2023


  • Substructural logics
  • Relevant logics
  • Frame semantics
  • Ternary relational frames


Dive into the research topics of 'Collection frames for distributive substructural logics'. Together they form a unique fingerprint.

Cite this