Algebraic Perspectives on Substructural Logics (eBook)
X, 193 Seiten
Springer International Publishing (Verlag)
978-3-030-52163-9 (ISBN)
This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substructural Logics - Take 6). Held at the University of Cagliari, Italy, this event is part of the framework of the Horizon 2020 Project SYSMICS: SYntax meets Semantics: Methods, Interactions, and Connections in Substructural logics.
Substructural logics are usually formulated as Gentzen systems that lack one or more structural rules. They have been intensively studied over the past two decades by logicians of various persuasions. These researchers include mathematicians, philosophers, linguists, and computer scientists. Substructural logics are applicable to the mathematical investigation of such processes as resource-conscious reasoning, approximate reasoning, type-theoretical grammar, and other focal notions in computer science. They also apply to epistemology, economics, and linguistics. The recourse to algebraic methods -- or, better, the fecund interplay of algebra and proof theory -- has proved useful in providing a unifying framework for these investigations. The AsubL series of conferences, in particular, has played an important role in these developments. This collection will appeal to students and researchers with an interest in substructural logics, abstract algebraic logic, residuated lattices, proof theory, universal algebra, and logical semantics.Davide Fazio is a Post-Doctoral Research Fellow at the University of Cagliari
Antonio Ledda is Full Professor of Logic at the University of Cagliari. His interests include algebraic logic, universal algebra, and the foundations of physics.
Francesco Paoli is a Full Professor of Logic at the University of Cagliari. He published, among other things, the book Substructural Logics: A Primer (Kluwer, 2002) and over 50 papers in international peer-reviewed journals. His research interests include nonclassical (substructural, quantum, many-valued) logics, universal algebra, and the foundations of physics.
| Erscheint lt. Verlag | 7.11.2020 |
|---|---|
| Reihe/Serie | Trends in Logic | Trends in Logic |
| Zusatzinfo | X, 193 p. 25 illus. |
| Sprache | englisch |
| Themenwelt | Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika |
| Mathematik / Informatik ► Mathematik | |
| Schlagworte | abstract algebraic logic • Abstract Algebraic Logic Duality • Algebra and Substructural Logics • Algebraic Structures • Families of Logics • Game-theoretic Semantics • Investigation of Substructural Logics • logical semantics • Proof theory • Proof Theory of Substructural Logics • Residuated lattices • Residuated Lattices Algebraic Structures • Substructural logics • universal algebra |
| ISBN-10 | 3-030-52163-X / 303052163X |
| ISBN-13 | 978-3-030-52163-9 / 9783030521639 |
| Haben Sie eine Frage zum Produkt? |
PDF (Wasserzeichen)Größe: 3,1 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich
