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)
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.
Keywords
Categories
PhilPapers/Archive ID
HLOWSP
Upload history
Archival date: 2017-07-01
View other versions
View other versions
Added to PP index
2017-07-01
Total views
214 ( #24,588 of 56,960 )
Recent downloads (6 months)
17 ( #38,357 of 56,960 )
2017-07-01
Total views
214 ( #24,588 of 56,960 )
Recent downloads (6 months)
17 ( #38,357 of 56,960 )
How can I increase my downloads?
Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.