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
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
Upload history
First archival date: 2017-02-09
Latest version: 4 (2021-02-16)
View other versions
Added to PP index

Total views
497 ( #11,343 of 59,704 )

Recent downloads (6 months)
53 ( #13,851 of 59,704 )

How can I increase my downloads?

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