About this product

Product Identifiers

PublisherSpringer International Publishing A&G

ISBN-103319747711

ISBN-139783319747712

eBay Product ID (ePID)242516119

Product Key Features

Number of PagesXxxiii, 454 Pages

LanguageEnglish

Publication NameDon Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

Publication Year2018

SubjectComputer Science, Logic

TypeTextbook

Subject AreaMathematics, Philosophy, Computers

AuthorJanusz Czelakowski

SeriesOutstanding Contributions to Logic Ser.

FormatHardcover

Dimensions

Item Weight300.3 Oz

Item Length9.3 in

Item Width6.1 in

Additional Product Features

Series Volume Number16

Number of Volumes1 vol.

IllustratedYes

Table Of ContentChapter 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 (Cliord Bergman).- Chapter 5. The Equationally-DeFined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).

SynopsisA Mathematical Life; Pigozzi, Don.- Assertional logics, truth-equational logics, and the hierarchiesof abstract algebraic logic; Albuquerque, Hugo, Font, Josep Maria, Jansana, Ramon, and Moraschini, Tommaso.- Deduction-Detachment Theorem and Gentzen-Style Deductive Systems; Babenyshev, Sergey.- Introducing Boolean Semilattices; Bergman, Clifford.- The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras; Czelakowski, Janusz.- A short overview of Hidden Logic; Ferreirim, Isabel and Martins, Manuel A.- Absorption and directed J onsson terms; Kazda, Alexandr, Kozik, Marcin, McKenzie, Ralph and Moore, Matthew.- Relatively congruence modular quasivarieties of modules; Kearnes, Keith A. - The computational complexity of deciding whether a finite algebra generates a minimal variety; McNulty, George F.- Characterization of protoalgebraic k -deductive systems; Palasinska; Katarzyna.- Diagrammatic duality; Romanowska, Anna B. and Smith, Jonathan D.H.- Boolean product representations of algebras via binary polynomials; Salibra, Antonino, Ledda, Antonio, and Paoli, Francesco.- Paraconsistent constructive logic with strong negation as a contraction-free relevant logic; Spinks, Matthew and Veroff, Robert.- Possible classification of finite-dimensional compact Hausdorfftopological algebras; Taylor, Walter.- Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems; Voutsadakis; George., 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.

LC Classification NumberBC1-199