Editors:
- Celebrates the life and work of Don Pigozzi
- Highlights Pigozzi's important contribution to the rise and development of abstract algebraic logic (AAL), universal algebra, and computer science
- Brings together an international group of scholars and Pigozzi’s disciples
Part of the book series: Outstanding Contributions to Logic (OCTR, volume 16)
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (15 chapters)
-
Front Matter
About this book
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.
Keywords
- Hierarchies of Abstract Algebraic Logic
- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems
- Boolean Semilattices
- Equationally-Defined Commutator in Quasivarieties
- Hidden Logic
- Absorption and Directed J´onsson Terms
- Congruence Modular Quasivarieties of Modules
- Finite Algebra Generates A Minimal Variety
- Protoalgebraic K-deductive Systems
- Diagrammatic Duality
- Boolean Product Representations of Algebras
- Paraconsistent Constructive Logic with Strong Negation
- Finite-dimensional Compact Hausdorff Topological Algebras
- Categorical Abstract Algebraic Logic
Editors and Affiliations
-
Institute of Mathematics and Informatics, University of Opole, Opole, Poland
Janusz Czelakowski
Bibliographic Information
Book Title: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Editors: Janusz Czelakowski
Series Title: Outstanding Contributions to Logic
DOI: https://doi.org/10.1007/978-3-319-74772-9
Publisher: Springer Cham
eBook Packages: Religion and Philosophy, Philosophy and Religion (R0)
Copyright Information: Springer International Publishing AG, part of Springer Nature 2018
Hardcover ISBN: 978-3-319-74771-2Published: 03 April 2018
Softcover ISBN: 978-3-030-09074-6Published: 04 January 2019
eBook ISBN: 978-3-319-74772-9Published: 20 March 2018
Series ISSN: 2211-2758
Series E-ISSN: 2211-2766
Edition Number: 1
Number of Pages: XXXIII, 454
Topics: Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages