Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science

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 off...

Celý popis

Uloženo v:
Podrobná bibliografie
Médium: Elektronický zdroj E-kniha
Jazyk:angličtina
Vydáno: Cham : Springer International Publishing, 2018.
Vydání:1st ed. 2018.
Edice:Outstanding Contributions to Logic, 16
Témata:
Logic.
Mathematical logic.
ISBN:9783319747729
ISSN:2211-2758 ;
On-line přístup: Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Obsah:
  • 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).

Podobné jednotky