When Structural Principles Hold Merely Locally

In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016. London: College Publications. pp. 53-67 (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
In substructural logics, structural principles may hold in some fragments of a consequence relation without holding globally. I look at this phenomenon in my preferred substructural logic, in which Weakening and Cut fail but which is supra-intuitionistic. I introduce object language operators that keep track of the admissibility of Weakening and of intuitionistic implications. I end with some ideas about local transitivity.
PhilPapers/Archive ID
HLOWSP
Revision history
Archival date: 2017-07-01
View upload history
References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2017-07-01

Total views
97 ( #22,829 of 38,929 )

Recent downloads (6 months)
33 ( #13,150 of 38,929 )

How can I increase my downloads?

Monthly downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.