東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Don Pigozzi on abstract algebraic lo...

Czelakowski, Janusz.

FindBook

Google Book

Amazon

博客來

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

紀錄類型:	書目-電子資源 : Monograph/item
正題名/作者:	Don Pigozzi on abstract algebraic logic, universal algebra, and computer science/ edited by Janusz Czelakowski.
其他作者:	Czelakowski, Janusz.
出版者:	Cham :Springer International Publishing : : 2018.,
面頁冊數:	xxxiii, 454 p. :ill., digital ;24 cm.
內容註:	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)
Contained By:	Springer eBooks
標題:	Mathematicians - United States. -
電子資源:	http://dx.doi.org/10.1007/978-3-319-74772-9
ISBN:	9783319747729

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science[electronic resource] /edited by Janusz Czelakowski. - Cham :Springer International Publishing :2018. - xxxiii, 454 p. :ill., digital ;24 cm. - Outstanding contributions to logic,v.162211-2758 ;. - Outstanding contributions to logic ;v.16..

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)

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.

ISBN: 9783319747729

Standard No.: 10.1007/978-3-319-74772-9doiSubjects--Personal Names:

3309497
Pigozzi, Don,
1935-Subjects--Topical Terms:

3309499
Mathematicians
--United States.

LC Class. No.: QA29.P54 / D65 2018

Dewey Class. No.: 510.920973

Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
LDR:02463nmm a2200325 a 4500 001 2137303
003 DE-He213
005 20180320222904.0
006 m d
007 cr nn 008maaau
008 181117s2018 gw s 0 eng d
020 $a 9783319747729 $q (electronic bk.)
020 $a 9783319747712 $q (paper)
024 7 $a 10.1007/978-3-319-74772-9 $2 doi
035 $a 978-3-319-74772-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA29.P54 $b D65 2018
072 7 $a HPL $2 bicssc
072 7 $a PHI011000 $2 bisacsh
082 0 4 $a 510.920973 $2 23
090 $a QA29.P54 $b D674 2018
245 0 0 $a Don Pigozzi on abstract algebraic logic, universal algebra, and computer science $h [electronic resource] / $c edited by Janusz Czelakowski.
260 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2018.
300 $a xxxiii, 454 p. : $b ill., digital ; $c 24 cm.
490 1 $a Outstanding contributions to logic, $x 2211-2758 ; $v v.16
505 0 $a 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)
520 $a 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.
600 1 0 $a Pigozzi, Don, $d 1935- $3 3309497
650 0 $a Mathematicians $z United States. $3 3309499
650 0 $a Algebraic logic. $3 794607
650 0 $a Algebra, Universal. $3 711322
650 0 $a Computer science. $3 523869
650 1 4 $a Philosophy. $3 516511
650 2 4 $a Logic. $3 529544
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Mathematical Logic and Formal Languages. $3 892517
700 1 $a Czelakowski, Janusz. $3 2156848
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer eBooks
830 0 $a Outstanding contributions to logic ; $v v.16. $3 3309498
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-74772-9
950 $a Religion and Philosophy (Springer-41175)