An Introduction to Substructural Logics

By: Greg Restall

Write A Review

Hardcover | 16 December 1999 | Edition Number 1

At a Glance

Hardcover
396 Pages

Dimensions(cm)
23.4 x 15.6 x 2.24

Hardcover

RRP $305.00

$283.25

or 4 interest-free payments of $70.81 with

or

Aims to ship in 7 to 10 business days

When will this arrive by?
Enter delivery postcode to estimate

This book introduces an important group of logics that have come to be known under the umbrella term ''susbstructural''. Substructural logics have independently led to significant developments in philosophy, computing and linguistics. An Introduction to Substrucural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields.The following topics are covered:
* Proof Theory
* Propositional Structures
* Frames
* Decidability
* Coda
Both students and professors of philosophy, computing, linguistics, and mathematics will find this to be an important addition to their reading.

Industry Reviews

"Greg Lestall offers a comprehensive introduction to substructural logics, some examples of which are relevant logics, linear logic, the Lambek calculus, and Lukasiewicz's many-valued logics. Restall discusses the question of what distinguishes these logics from classical logic; what motivates the creation of these logics; how theorums in the Lambek calculus are proved; what rules the Lambek calculus reinterprets or drops; what kinds of semantics can be given for these kinds of logics; and whether these logics are decidable. In every case Restall's book does a good job of presenting answers to these questions.."-"Teaching Philosophy

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Philosophy & Logic

Critical Thinking Skills

Effective Analysis, Argument and Reflection

Paperback

RRP $36.99

$35.25

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Paperback

RRP $27.99

$23.75

15%
OFF

Aristotle's Organon in Old and New Logic

1800-1950

Hardcover

RRP $170.00

$141.35

17%
OFF

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Paperback

RRP $24.99

$21.75

13%
OFF

Tractatus Logico-Philosophicus : The New Translation - Ludwig Wittgenstein

$216.25

17%
OFF

New Essays on Normative Realism - Paul Boghossian

$170.25

10%
OFF

The A Priori : Its Significance, Sources, and Extent - Dylan Dodd

$54.50

Susan Stebbing : Philosophical Papers - Siobhan Chapman

$141.40

17%
OFF

Straight and Crooked Thinking

Paperback

RRP $29.99

$24.75

17%
OFF

Naming and Necessity

50th Anniversary Edition

Paperback

RRP $52.95

$40.75

23%
OFF

Inductive Probability

Routledge Revivals

Hardcover

RRP $231.00

$192.25

17%
OFF

$201.25

17%
OFF

The Concept of Holiness

Routledge Revivals

Hardcover

RRP $189.00

$157.25

17%
OFF

Logic Between the Lines

Making Philosophical Sense of Logic and Logical Sense of Philosophy

Paperback

RRP $283.00

$254.90

10%
OFF

List of Figures
List of Tables
Acknowledgements
Introduction	p. 1
Proof Theory	p. 7
Its, Ands and Ors	p. 9
Modalities	p. 47
Hilbert Systems	p. 73
Theories	p. 89
Gentzen Systems	p. 105
Formulae as Types, Proofs as Terms	p. 127
Propositional Structures	p. 153
Defining Propositional Structures	p. 155
Manipulating Propositional Structures	p. 189
Categories	p. 211
Frames	p. 233
Frames I: Logics with Distribution	p. 235
Frames II: Logics Rejecting Distribution	p. 275
Frame Constructions	p. 295
Decidability	p. 311
Decision Procedures	p. 313
Undecidability	p. 323
Coda	p. 337
Using Substructural Logic	p. 339
Bibliography	p. 349
Index	p. 365
Table of Contents provided by Blackwell. All Rights Reserved.

An Introduction to Substructural Logics

At a Glance

Hardcover

Industry Reviews

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Philosophy & Logic

Critical Thinking Skills

Effective Analysis, Argument and Reflection

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Aristotle's Organon in Old and New Logic

1800-1950

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Tractatus Logico-Philosophicus

The New Translation

Contemporary Debates in African and Western Philosophy

Analytic and Intercultural Approaches

New Essays on Normative Realism

The Future of Normativity

Mind Association Occasional Series

Teaching as Radical Logic

Dialectic, Analectic, and Education

The A Priori

Its Significance, Sources, and Extent

Byzantine and Renaissance Philosophy

A History of Philosophy Without Any Gaps, Volume 6

Andrea Cesalpino and Renaissance Aristotelianism

Natural Philosophy in the Sixteenth Century

Susan Stebbing

Philosophical Papers

Metaphysics of Nature and Failure in Kant's Opus postumum

Straight and Crooked Thinking

Naming and Necessity

50th Anniversary Edition

Inductive Probability

Routledge Revivals

New Essays on Normative Realism

The Sources of Necessity Essence, Laws, and Logic

Essence, Laws, and Logic

Wittgenstein's Critique of Russell's Multiple Relation Theory of Judgement

Anthem Studies in Wittgenstein

Oxford Studies in Metaphysics Volume 14

Volume 14

Experiential Realism

Routledge Revivals

The Concept of Holiness

Routledge Revivals

Logic Between the Lines

Making Philosophical Sense of Logic and Logical Sense of Philosophy

This product is categorised by