An Introduction to Substructural Logics (review)

Bulletin of Symbolic Logic 7 (4):527-530 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687800

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Models for substructural arithmetics.Greg Restall - 2010
Models for Substructural Arithmetics.Greg Restall - 2011 - Australasian Journal of Logic 8:82-99.
An Algebraic Approach to the Disjunction Property of Substructural Logics.Daisuke Souma - 2007 - Notre Dame Journal of Formal Logic 48 (4):489-495.
An Introduction to Substructural Logics.Greg Restall - 1999 - New York: Routledge.
Synthesized substructural logics.Norihiro Kamide - 2007 - Mathematical Logic Quarterly 53 (3):219-225.
Displaying and deciding substructural logics 1: Logics with contraposition.Greg Restall - 1998 - Journal of Philosophical Logic 27 (2):179-216.
Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
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.
Metacompleteness of Substructural Logics.Takahiro Seki - 2012 - Studia Logica 100 (6):1175-1199.
Restall Greg. An introduction to substructural logics. Routledge, London and New York 2000, xiv+ 381 pp. [REVIEW]Kosta Došen - 2001 - Bulletin of Symbolic Logic 7 (4):527-530.
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.
A Canonical Model Construction For Substructural Logics With Strong Negation.N. Kamide - 2002 - Reports on Mathematical Logic:95-116.
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.

Analytics

Added to PP
2013-11-21

Downloads
49 (#310,442)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Conditional Heresies.Fabrizio Cariani & Simon Goldstein - 2018 - Philosophy and Phenomenological Research (2):251-282.
Notes on Stratified Semantics.Shay Allen Logan - 2019 - Journal of Philosophical Logic 48 (4):749-786.

View all 28 citations / Add more citations

References found in this work

No references found.

Add more references