A01=Greg Restall
Accessibility Relations
advanced logic frameworks for researchers
Author_Greg Restall
boolean
Boolean Negation
calculus
Canonical Frame
category theory
Category=QDTL
Category=UYA
Classical Modal Logics
computational semantics
Conservatively Extended
De Morgan Negation
deduction
Disjunctive Syllogism
Double Negation Elimination
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Fact
Frame Semantics
Gentzen Proof
Gentzen System
Hilbert System
Infinite Descending Chain
Kleene Star
lambek
Lambek Calculus
linear
linguistic formalism
mathematical logic
modal reasoning
morgan
natural
Natural Deduction
Natural Deduction Proof
Natural Deduction System
negation
philosophical logic
Prime Theory
Proof Theory
Propositional Structures
Relevant Logics
rule
Structural Rules
Substructural Logics
systems
Product details
- ISBN 9780415215343
- Weight: 574g
- Dimensions: 156 x 234mm
- Publication Date: 16 Dec 1999
- Publisher: Taylor & Francis Ltd
- Publication City/Country: GB
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
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.
Greg Restall is Senior Lecturer in Philosophy at Macquarie University in Sydney, Australia.
