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



    Upload a copy of this work     Papers currently archived: 100,448

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 (eds.), 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
24 (#897,904)

6 months
7 (#673,909)

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 48 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.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.

View all 42 references / Add more references