Blick ins Buch

Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs (eBook)

eBook Download: PDF

2021 | 1st ed. 2022
XIII, 586 Seiten
Springer International Publishing (Verlag)
978-3-030-71430-7 (ISBN)

Lese- und Medienproben

Ebook-Leseprobe (PDF)

This book is dedicated to the work of Alasdair Urquhart. The book starts out with an introduction to and an overview of Urquhart's work, and an autobiographical essay by Urquhart. This introductory section is followed by papers on algebraic logic and lattice theory, papers on the complexity of proofs, and papers on philosophical logic and history of logic. The final section of the book contains a response to the papers by Urquhart.

Alasdair Urquhart has made extremely important contributions to a variety of fields in logic. He produced some of the earliest work on the semantics of relevant logic. He provided the undecidability of the logics R (of relevant implication) and E (of relevant entailment), as well as some of their close neighbors. He proved that interpolation fails in some of those systems. Urquhart has done very important work in complexity theory, both about the complexity of proofs in classical and some nonclassical logics. In pure algebra, he has produced a representation theorem for lattices and some rather beautiful duality theorems. In addition, he has done important work in the history of logic, especially on Bertrand Russell, including editing Volume four of Russell's Collected Papers.

Erscheint lt. Verlag	24.9.2021
Reihe/Serie	Outstanding Contributions to Logic
Reihe/Serie	Outstanding Contributions to Logic
Zusatzinfo	XIII, 586 p. 66 illus., 5 illus. in color.
Sprache	englisch
Themenwelt	Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
Themenwelt	Mathematik / Informatik ► Mathematik
Schlagworte	algebraic logic • Complexity theory • duality for commutator algebras • History of Logic • Modal Logic • Non-Classical Logic • Ockham algebras • Philosophical Logic • proof complexity • relevance logic
ISBN-10	3-030-71430-6 / 3030714306
ISBN-13	978-3-030-71430-7 / 9783030714307

Haben Sie eine Frage zum Produkt?

PDF (Wasserzeichen)

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.

Print-Ausgabe

Buch | Hardcover

149,79 €