An Introduction to Substructural Logics

An Introduction to Substructural Logics
Author :
Publisher : Routledge
Total Pages : 402
Release :
ISBN-10 : 9781136799303
ISBN-13 : 1136799303
Rating : 4/5 (03 Downloads)

Book Synopsis An Introduction to Substructural Logics by : Greg Restall

Download or read book An Introduction to Substructural Logics written by Greg Restall and published by Routledge. This book was released on 2002-09-11 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


An Introduction to Substructural Logics Related Books

An Introduction to Substructural Logics
Language: en
Pages: 402
Authors: Greg Restall
Categories: Philosophy
Type: BOOK - Published: 2002-09-11 - Publisher: Routledge

DOWNLOAD EBOOK

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently l
An Introduction to Substructural Logics
Language: en
Pages: 398
Authors: Greg Restall
Categories: Mathematics
Type: BOOK - Published: 2000 - Publisher: Psychology Press

DOWNLOAD EBOOK

This book introduces an important group of logics that have come to be known as substructural. It is the first to survey the important impact this class of logi
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Language: en
Pages: 532
Authors: Nikolaos Galatos
Categories: Mathematics
Type: BOOK - Published: 2007-04-25 - Publisher: Elsevier

DOWNLOAD EBOOK

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures
Substructural Logics: A Primer
Language: en
Pages: 306
Authors: F. Paoli
Categories: Philosophy
Type: BOOK - Published: 2013-11-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

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 (espec
Proof Theory and Algebra in Logic
Language: en
Pages: 164
Authors: Hiroakira Ono
Categories: Philosophy
Type: BOOK - Published: 2019-08-02 - Publisher: Springer

DOWNLOAD EBOOK

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The impo