Substructural Logics: A Primer

Dordrecht, Netherland: Springer (2002)
  Copy   BIBTEX

Abstract

The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.

Categories

Keywords

Reprint years

2011

ISBN(s)

9789048160143   9048160146

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,804

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Algebraic Perspectives on Substructural Logics.Davide Fazio, Antonio Ledda & Francesco Paoli (eds.) - 2020 - Springer International Publishing.
Substructural Nuclear (Image-Based) Logics and Operational Kripke-Style Semantics.Eunsuk Yang - 2024 - Studia Logica 112 (4):805-833.
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.
Generalized Galois Logics: Relational Semantics of Nonclassical Logical Calculi.Katalin Bimbó & J. Michael Dunn - 2008 - Center for the Study of Language and Inf.
Glivenko theorems revisited.Hiroakira Ono - 2010 - Annals of Pure and Applied Logic 161 (2):246-250.
Information, awareness and substructural logics.Igor Sedlár - 2013 - In Leonid Libkin, Ulrich Kohlenbach & Ruy de Queiroz, Logic, Language, Information and Computation (Lecture Notes in Computer Science 8071). Springer. pp. 266-281.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Variable Sharing in Substructural Logics: An Algebraic Characterization.Guillermo Badia - 2018 - Bulletin of the Section of Logic 47 (2):107-115.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.

Analytics

Added to PP
2021-11-17

Downloads
27 (#912,195)

6 months
6 (#737,122)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Francesco Paoli
Universita di Cagliari

Citations of this work

Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
The Logics of Strict-Tolerant Logic.Eduardo Barrio, Lucas Rosenblatt & Diego Tajer - 2015 - Journal of Philosophical Logic 44 (5):551-571.
Logical Consequence and the Paradoxes.Edwin Mares & Francesco Paoli - 2014 - Journal of Philosophical Logic 43 (2-3):439-469.
Anything Goes.David Ripley - 2015 - Topoi 34 (1):25-36.

View all 68 citations / Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Relevant Logics and Their Rivals.Richard Routley, Val Plumwood, Robert K. Meyer & Ross T. Brady - 1982 - Ridgeview. Edited by Richard Sylvan & Ross Brady.
Constructivism in Mathematics: An Introduction.A. S. Troelstra & Dirk Van Dalen - 1988 - Amsterdam: North Holland. Edited by D. van Dalen.
Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.

View all 42 references / Add more references