Outstanding Contributions to Logic

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

Editors: Czelakowski, Janusz (Ed.)

  • 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
see more benefits

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-319-74772-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA in USD
  • ISBN 978-3-319-74771-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
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.

Table of contents (15 chapters)

  • A Mathematical Life

    Pigozzi, Don

    Pages 1-51

  • Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic

    Albuquerque, Hugo (et al.)

    Pages 53-79

  • Deduction-Detachment Theorem and Gentzen-Style Deductive Systems

    Babenyshev, Sergey

    Pages 81-101

  • Introducing Boolean Semilattices

    Bergman, Clifford

    Pages 103-130

  • The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras

    Czelakowski, Janusz

    Pages 131-165

Buy this book

eBook $99.00
price for USA in USD (gross)
  • ISBN 978-3-319-74772-9
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $129.00
price for USA in USD
  • ISBN 978-3-319-74771-2
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Editors
  • Janusz Czelakowski
Series Title
Outstanding Contributions to Logic
Series Volume
16
Copyright
2018
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing AG, part of Springer Nature
eBook ISBN
978-3-319-74772-9
DOI
10.1007/978-3-319-74772-9
Hardcover ISBN
978-3-319-74771-2
Series ISSN
2211-2758
Edition Number
1
Number of Pages
XXXIII, 454
Topics