An introduction to substructural logics

An introduction to substructural logics (2000)

Cached

Download Links

by Greg Restall

Citations:

BibTeX

@MISC{Restall00anintroduction,
    author = {Greg Restall},
    title = {An introduction to substructural logics},
    year = {2000}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Abstract: This is a history of relevant and substructural logics, written for the Handbook of the History and Philosophy of Logic, edited by Dov Gabbay and John Woods. 1 1

Citations

909	Introduction to Lattices and Order - Davey, Priestley - 1990
369	Category Theory for Computing Science - Barr, Wells - 1990
255	A Useful Four-Valued Logic - Belnap - 1977
200	A filter lambda model and the completeness of type assignment - Barendregt, Coppo, et al. - 1983
115	The Structure of Multiplicatives - Danos, Regnier - 1989
110	A Quasi-Arithmetical Notation for Syntactic Description - Bar-Hillel - 1953
107	Making it explicit - Brandom - 1994
98	Display logic - Belnap - 1982
92	Relevance logic and entailment - Dunn - 1986
87	Vicious circles - Barwise, Moss - 1996
75	Die syntaktische konnexität - Ajdukiewicz - 1935
64	Natural deduction and coherence for weakly distributive categories - Blute, Cockett, et al. - 1996
62	How a computer should think - Belnap - 1977
56	The Logical Basis of Metaphysics - Dummett - 1991
55	Hypercoherences: a strongly stable model of linear logic - Ehrhard - 1993
53	Term assignment for intuitionistic linear logic - Benton, Bierman, et al. - 1992
50	Mathematical intuitionism, introduction to proof theory - Dragalin - 1988
50	Functional characters of solvable terms. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik - Coppo, Dezani-Ciancaglini, et al. - 1981
49	Intuitive semantics for first degree entailment and coupled trees, Philosophical Studies 29 - Dunn - 1976
41	Entailment: The Logic of Relevance and Necessity, volume 1 - Anderson, Belnap - 1975
40	On the logic of information flow - Barwise, Gabbay, et al. - 1995
40	Gaggle Theory: An abstraction of Galois connections and Residuation, with applications to negation, implication, and various logical operators - Dunn - 1991
38	Non-well-founded Sets. Number 14 - Aczel - 1988
37	Slomson, Models and Ultraproducts: an Introduction - Bell, B - 1971
37	Partial Gaggles applied to Logics with Restricted Structural Rules - Dunn - 1993
27	Entailment: The Logic of Relevance and Necessity, volume 2 - Anderson, Belnap, et al. - 1992
21	Proof theory for full intuitionistic linear logic, bilinear logic, and mix categories, Theory Appl. Categ. 3 - Cockett, Seely - 1997
15	Logical Pluralism - Beall, Restall - 2006
14	Proof nets for multiplicative and additive linear logic - Bellin - 1991
14	and perp: Two treatments of negation - Star - 1993
13	1995]: Positive Modal Logic - Dunn - 1995
12	Life in the undistributed middle - Belnap - 1993
12	Star and perp: Two treatments of negation - Dunn - 1994
11	Begründung einer strengen implikation - Ackermann - 1956
11	On the linear decoration of intuitionistic derivations - Danos, Joinet, et al. - 1995
11	logique linéaire appliquée à l’étude de divers processus de normalisation et principalement du lambda calcul - La - 1990
10	A brief survey of frames for the Lambek calculus. Zeitschrift für Mathematische Logik und Grundlagen der Mathematik - Doˇsen - 1992
9	1986]: ‘A New Approach to Quantum Logic - Bell
9	Linear logic displayed. Notre Dame - Belnap - 1990
7	The non-triviality of dialectical set theory - Brady - 1989
7	On when a semantics is not a semantics: some reasons for disliking the Routley-Meyer semantics for relevance logic - Copeland - 1979
7	A ‘Gentzen’ system for positive relevant implication - Dunn - 1974
6	The pure calculus of entailment - Anderson, Jr - 1962
6	Whither relevance logic - Avron - 1992
6	The weak theory of implication - Church - 1951
6	Intuitive Semantics for First-Degree Entailments and "Coupled Trees - DUNN - 1976
5	Modalities in Ackermann’s ‘rigorous implication - Anderson, Jr - 1959
5	Information Flow and the Lambek Calculus - Barwise, Gabbay, et al. - 1994
5	An intuitive semantics for first degree relevant implications (abstract - Dunn - 1971
4	Gentzenization and decidability of some contraction-less relevant logics - Brady - 1991