LP, K3, and FDE as Substructural Logics

In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications (2017)
Download Edit this record How to cite View on PhilPapers
Abstract
Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”
PhilPapers/Archive ID
LIOLKA
Upload history
First archival date: 2017-02-09
Latest version: 3 (2019-07-28)
View other versions
Added to PP index
2017-02-09

Total views
416 ( #10,600 of 51,612 )

Recent downloads (6 months)
50 ( #10,992 of 51,612 )

How can I increase my downloads?

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