عنوان

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /

شابک

331974772X

شابک

9783319747729

شابک اشتباه

3319747711

شابک اشتباه

9783319747712

عنوان اصلي

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science /

نام عام مواد

[Book]

نام نخستين پديدآور

Janusz Czelakowski, editor.

محل نشرو پخش و غیره

Cham, Switzerland :

نام ناشر، پخش کننده و غيره

Springer,

تاریخ نشرو بخش و غیره

[2018]

تاریخ نشرو بخش و غیره

©2018

نام خاص و کميت اثر

1 online resource

عنوان فروست

Outstanding contributions to logic ;

مشخصه جلد

16

متن يادداشت

Includes bibliographical references.

متن يادداشت

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 (Clifford Bergman) -- Chapter 5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).

بدون عنوان

0

متن يادداشت

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.

عنوان

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science.

شماره استاندارد بين المللي کتاب و موسيقي

9783319747712

موضوع مستند نشده

Pigozzi, Don,1935-

موضوع مستند نشده

Algebra, Universal.

موضوع مستند نشده

Algebraic logic.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Mathematicians-- United States.

موضوع مستند نشده

Algebra, Universal.

موضوع مستند نشده

Algebraic logic.

موضوع مستند نشده

Computer science.

موضوع مستند نشده

Mathematicians.

موضوع مستند نشده

MATHEMATICS-- Essays.

موضوع مستند نشده

MATHEMATICS-- Pre-Calculus.

موضوع مستند نشده

MATHEMATICS-- Reference.

موضوع مستند نشده

United States.

بدون عنوان

7

موضوع مستند نشده

HPL

موضوع مستند نشده

MAT-- 023000

موضوع مستند نشده

MAT-- 026000

موضوع مستند نشده

MAT-- 039000

شماره

ويراست

شماره رده

مستند نام اشخاص تاييد نشده

Czelakowski, Janusz

تاريخ عمليات

20200823105241.0

قواعد فهرست نويسي ( بخش توصيفي )

pn

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y