Review of Symbolic Logic:1-38 (forthcoming)

Greg Restall
University of Melbourne
Shawn Standefer
National Taiwan University
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 $\mathsf {B}^+$, that collection frames on multisets are sound and complete for $\mathsf {RW}^+$, and that collection frames on sets are sound for the positive relevant logic $\mathsf {R}^+$. The completeness of set frames for $\mathsf {R}^+$ is, currently, an open question.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020322000272
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,564
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Logical Pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
Structural Reflexivity and the Paradoxes of Self-Reference.Rohan French - 2016 - Ergo: An Open Access Journal of Philosophy 3.
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.

View all 32 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Substructural Epistemic Logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Models for Substructural Arithmetics.Greg Restall - 2011 - Australasian Journal of Logic 8:82-99.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Synthesized Substructural Logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Synthesized Substructural Logics.Norihori Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Action Frames for Weak Relevant Logics.Igor Sedlár - 2015 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2014. College Publications. pp. 267-279.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
Distributive Substructural Logics as Coalgebraic Logics Over Posets.Marta Bílková, Rostislav Horčik & Jiří Velebil - 2012 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 119-142.
Distributive Substructural Logics as Coalgebraic Logics Over Posets.Marta Bílková, Rostislav Horčik & Jiří Velebil - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic, Volume 9. CSLI Publications. pp. 119-142.
Glivenko Theorems Revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.


Added to PP index

Total views
11 ( #858,830 of 2,533,484 )

Recent downloads (6 months)
11 ( #69,090 of 2,533,484 )

How can I increase my downloads?


My notes