Substructural Logics: A Primer

Substructural Logics: A Primer
Author :
Publisher : Springer Science & Business Media
Total Pages : 306
Release :
ISBN-10 : 9789401731799
ISBN-13 : 9401731799
Rating : 4/5 (799 Downloads)

Book Synopsis Substructural Logics: A Primer by : F. Paoli

Download or read book Substructural Logics: A Primer written by F. Paoli and published by Springer Science & Business Media. This book was released on 2013-11-27 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 (especially on sequent calculi and their generalizations) and on their semantics (both algebraic and relational. It is for graduate students in either philosophy, mathematics, theoretical computer science or theoretical linguistics as well as specialists and researchers.


Substructural Logics: A Primer Related Books

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
Algebraic Perspectives on Substructural Logics
Language: en
Pages: 200
Authors: Davide Fazio
Categories: Philosophy
Type: BOOK - Published: 2020-11-07 - Publisher: Springer Nature

DOWNLOAD EBOOK

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substr
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
Residuated Structures in Algebra and Logic
Language: en
Pages: 282
Authors: George Metcalfe
Categories: Mathematics
Type: BOOK - Published: 2023-11-06 - Publisher: American Mathematical Society

DOWNLOAD EBOOK

This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structu
Trends in Logic
Language: en
Pages: 387
Authors: Vincent F. Hendricks
Categories: Philosophy
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of