In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications (2017)

Authors
Lionel Shapiro
University of Connecticut
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.”
Keywords Non-classical logics  Substructural logics  Many-valued logics  Many-sided sequent systems  Structural rules
Categories (categorize this paper)
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

An Introduction to Non-Classical Logic: From If to Is.Graham Priest - 2008 - Bulletin of Symbolic Logic 14 (4):544-545.
The Logic of Paradox.Graham Priest - 1979 - Journal of Philosophical Logic 8 (1):219 - 241.

View all 20 references / Add more references

Citations of this work BETA

Relevance for the Classical Logician.Ethan Brauer - 2020 - Review of Symbolic Logic 13 (2):436-457.

Add more citations

Similar books and articles

Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
Modal Translations in Substructural Logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Substructural Epistemic Logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Synthesized Substructural Logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
On the Algebraic Structure of Linear, Relevance, and Fuzzy Logics.Francesco Paoli - 2002 - Archive for Mathematical Logic 41 (2):107-121.
Towards Structurally-Free Theorem Proving.M. Finger - 1998 - Logic Journal of the IGPL 6 (3):425-449.
Meeting Strength in Substructural Logics.Yde Venema - 1995 - Studia Logica 54 (1):3 - 32.
Subintuitionistic Logics.Greg Restall - 1994 - Notre Dame Journal of Formal Logic 35 (1):116-129.

Analytics

Added to PP index
2017-02-09

Total views
426 ( #14,917 of 2,344,080 )

Recent downloads (6 months)
49 ( #12,787 of 2,344,080 )

How can I increase my downloads?

Downloads

My notes