Substructural Logics: A Primer

Lieferzeit: Lieferbar innerhalb 14 Tagen

235,39 €

inkl. 7 % MwSt. zzgl. Versandkosten

Trends in Logic 13

ISBN: 9048160146
ISBN 13: 9789048160143
Autor: Paoli, F
Verlag: Springer Verlag GmbH
Umfang: xiii, 305 S.
Erscheinungsdatum: 12.12.2011
Auflage: 1/2011
Format: 1.8 x 23.5 x 15.6
Gewicht: 486 g
Produktform: Kartoniert
Einband: KT

Includes supplementary material: sn.pub/extras

Artikelnummer: 974556 Kategorie:

Beschreibung

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.

Das könnte Ihnen auch gefallen …