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

Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2017-07-01

Total views
188 ( #22,605 of 50,097 )

Recent downloads (6 months)
35 ( #17,997 of 50,097 )

How can I increase my downloads?

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