Leseprobe
* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
Janusz Czelakowski (Hrsg.)
* Affiliatelinks/Werbelinks
Links auf reinlesen.de sind sogenannte Affiliate-Links. Wenn du auf so einen Affiliate-Link klickst und über diesen Link einkaufst, bekommt reinlesen.de von dem betreffenden Online-Shop oder Anbieter eine Provision. Für dich verändert sich der Preis nicht.
Springer International Publishing 
Geisteswissenschaften, Kunst, Musik / Allgemeines, Lexika
Beschreibung
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.
Kundenbewertungen
Congruence Modular Quasivarieties of Modules, Boolean Product Representations of Algebras, Hierarchies of Abstract Algebraic Logic, Finite-dimensional Compact Hausdorff Topological Algebras, Absorption and Directed J´onsson Terms, Protoalgebraic K-deductive Systems, Hidden Logic, Boolean Semilattices, Equationally-Defined Commutator in Quasivarieties, Diagrammatic Duality, Categorical Abstract Algebraic Logic, Deduction-Detachment Theorem and Gentzen-Style Deductive Systems, Finite Algebra Generates A Minimal Variety, Paraconsistent Constructive Logic with Strong Negation