E-Book, Englisch, Band 16, 454 Seiten, eBook
Czelakowski Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science
1. Auflage 2018
ISBN: 978-3-319-74772-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 16, 454 Seiten, eBook
Reihe: Outstanding Contributions to Logic
ISBN: 978-3-319-74772-9
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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).