Language:
English
繁體中文
Help
圖資館首頁
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
Don Pigozzi on abstract algebraic lo...
~
Czelakowski, Janusz.
Don Pigozzi on abstract algebraic logic, universal algebra, and computer science
Record Type:
Electronic resources : Monograph/item
Title/Author:
Don Pigozzi on abstract algebraic logic, universal algebra, and computer scienceedited by Janusz Czelakowski.
other author:
Czelakowski, Janusz.
Published:
Cham :Springer International Publishing :2018.
Description:
xxxiii, 454 p. :ill., digital ;24 cm.
Contained By:
Springer eBooks
Subject:
MathematiciansUnited States.
Online resource:
http://dx.doi.org/10.1007/978-3-319-74772-9
ISBN:
9783319747729$q(electronic bk.)
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.3..
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 (Cli�?ord 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$q(electronic bk.)
Standard No.: 10.1007/978-3-319-74772-9doiSubjects--Personal Names:
810328
Pigozzi, Don,
1935-Subjects--Topical Terms:
810329
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
:02466nmm a2200325 a 4500
001
534209
003
DE-He213
005
20180320222904.0
006
m d
007
cr nn 008maaau
008
181205s2018 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 (Cli�?ord 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
810328
650
0
$a
Mathematicians
$z
United States.
$3
810329
650
0
$a
Algebraic logic.
$3
522723
650
0
$a
Algebra, Universal.
$3
274086
650
0
$a
Computer science.
$3
199325
650
1 4
$a
Philosophy.
$3
176573
650
2 4
$a
Logic.
$3
180785
650
2 4
$a
Mathematical Logic and Foundations.
$3
274479
650
2 4
$a
Mathematical Logic and Formal Languages.
$3
275383
700
1
$a
Czelakowski, Janusz.
$3
726902
710
2
$a
SpringerLink (Online service)
$3
273601
773
0
$t
Springer eBooks
830
0
$a
Outstanding contributions to logic ;
$v
v.3.
$3
678078
856
4 0
$u
http://dx.doi.org/10.1007/978-3-319-74772-9
950
$a
Religion and Philosophy (Springer-41175)
based on 0 review(s)
ALL
電子館藏
Items
1 records • Pages 1 •
1
Inventory Number
Location Name
Item Class
Material type
Call number
Usage Class
Loan Status
No. of reservations
Opac note
Attachments
000000154799
電子館藏
1圖書
電子書
EB QA29.P54 D674 2018 2018
一般使用(Normal)
On shelf
0
1 records • Pages 1 •
1
Multimedia
Multimedia file
http://dx.doi.org/10.1007/978-3-319-74772-9
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login