Czelakowski | Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science | Buch | 978-3-030-09074-6 | sack.de

Buch, Englisch, Band 16, 454 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 733 g

Reihe: Outstanding Contributions to Logic

Czelakowski

Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science


Softcover Nachdruck of the original 1. Auflage 2018
ISBN: 978-3-030-09074-6
Verlag: Springer International Publishing

Buch, Englisch, Band 16, 454 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 733 g

Reihe: Outstanding Contributions to Logic

ISBN: 978-3-030-09074-6
Verlag: Springer International Publishing


This book celebrates the work of Don Pigozzi on the occasion of his 80th birthday. In addition to articles written by leading specialists and his disciples, it presents Pigozzi’s scientific output and discusses his impact on the development of science. The book both catalogues his works and offers an extensive profile of Pigozzi as a person, sketching the most important events, not only related to his scientific activity, but also from his personal life.

It reflects Pigozzi's contribution to the rise and development of areas such as abstract algebraic logic (AAL), universal algebra and computer science, and introduces new scientific results. Some of the papers also present chronologically ordered facts relating to the development of the disciplines he contributed to, especially abstract algebraic logic. The book offers valuable source material for historians of science, especially those interested in history of mathematics and logic.

Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science jetzt bestellen!

Zielgruppe


Research


Autoren/Hrsg.


Weitere Infos & Material


Chapter 1. A Mathematical Life (Don Pigozzi).- Chapter 2. Assertional Logics, Truth-equational Logics, and the Hierarchies of Abstract Algebraic Logic (Hugo Albuquerque).- Chapter 3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems (Sergey Babenyshev).- Chapter 4. Introducing Boolean Semilattices (Cli?ord Bergman).- Chapter 5. The Equationally-De?ned Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).



Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.