rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
  name:
    name part: Czelakowski, Janusz.
    role:
      role term: editor.
    role:
      role term: edt
    role:
      role term: http://id.loc.gov/vocabulary/relators/edt
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: gw
    date issued: 2018
    edition: 1st ed. 2018.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXXIII, 454 p. online resource.
  abstract: 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.
  table of contents: 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-Deﬁned Commutator in Quasivarieties Generated by Two-Element Algebras (Janusz Czelakowski).
  note: edited by Janusz Czelakowski.
  subject:
    topic: Logic
  subject:
    topic: Mathematical logic
  subject:
    topic: Logic
  subject:
    topic: Mathematical Logic and Foundations
  subject:
    topic: Mathematical Logic and Formal Languages
  classification: BC1-199
  classification: 160
  related item:
    title info:
      title: Springer eBooks
  related item:
    title info:
      title: Outstanding Contributions to Logic, 16
  identifier: 9783319747729
  identifier: https://doi.org/10.1007/978-3-319-74772-9
  record info:
    record creation date: 180320
    record change date: 20191025192018.0
    record identifier: 978-3-319-74772-9