- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Substructural Logics: A Primer
Dordrecht, Netherland: Springer (2002)
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.Author's Profile
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Algebraic Perspectives on Substructural Logics.Davide Fazio, Antonio Ledda & Francesco Paoli (eds.) - 2020 - Springer International Publishing.
Synthesized substructural logics.Norihori Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Current Trends in Substructural Logics.Katalin Bimbó - 2015 - Journal of Philosophical Logic 44 (6):609-624.
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.
Cut Elimination In Noncommutative Substructural Logics.Bayu Surarso & Hiroakira Ono - 1996 - Reports on Mathematical Logic:13-29.
LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Pavel Arazim & Tomáš Lavička (eds.), The Logica Yearbook 2016. London: College Publications.
Nonassociative substructural logics and their semilinear extensions: Axiomatization and completeness properties: Nonassociative substructural logics.Petr Cintula, Rostislav Horčík & Carles Noguera - 2013 - Review of Symbolic Logic 6 (3):394-423.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
Analytics
Added to PP
2021-11-17
Downloads
12 (#1,054,764)
6 months
7 (#425,192)
2021-11-17
Downloads
12 (#1,054,764)
6 months
7 (#425,192)
Historical graph of downloads
Author's Profile
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.
The original sin of proof-theoretic semantics.Bogdan Dicher & Francesco Paoli - 2020 - Synthese:1-26.
(Meta)inferential levels of entailment beyond the Tarskian paradigm.Eduardo Alejandro Barrio, Federico Pailos & Damian Szmuc - 2019 - Synthese 198 (S22):5265-5289.
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.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven,: Yale University 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 - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-pp8v9 uwo