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
The Logic of Paradox.Priest, Graham

View all 19 references / Add more references

Citations of this work BETA
Proof-Theoretic Pluralism.Ferrari, Filippo & Orlandelli, Eugenio

Add more citations

Added to PP index

Total views
284 ( #10,939 of 40,618 )

Recent downloads (6 months)
103 ( #4,326 of 40,618 )

How can I increase my downloads?

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