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
Revision history
First archival date: 2017-02-09
Latest version: 2 (2017-03-23)
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

Total downloads
195 ( #13,186 of 37,187 )

Recent downloads (6 months)
85 ( #3,837 of 37,187 )

How can I increase my downloads?

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