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

1. A Mathematical Life
Don Pigozzi

2. Assertional logics, truth-equational logics, and the hierarchies of abstract algebraic logic
Hugo Albuquerque, Josep Maria Font, Ramon Jansana, Tommaso Moraschini

3. Deduction-Detachment Theorem and Gentzen-Style Deductive Systems
Sergey Babenyshev

4. Introducing Boolean Semilattices
Clifford Bergman

5. The Equationally-Defined Commutator in Quasivarieties Generated by Two-Element Algebras
Janusz Czelakowski

6. A short overview of Hidden Logic
Isabel Ferreirim, Manuel A. Martins

7. Absorption and directed Jónsson terms
Alexandr Kazda, Marcin Kozik, Ralph McKenzie, Matthew Moore

8. Relatively congruence modular quasivarieties of modules
Keith A. Kearnes

9. The computational complexity of deciding whether a finite algebra generates a minimal variety
George F. McNulty

10. Characterization of protoalgebraic k-deductive systems
Katarzyna Pałasińska

11. Diagrammatic duality
Anna B. Romanowska, Jonathan D.H. Smith

12. Boolean product representations of algebras via binary polynomials
Antonino Salibra, Antonio Ledda, Francesco Paoli

13. Paraconsistent constructive logic with strong negation as a contraction-free relevant logic
Matthew Spinks, Robert Veroff

14. Possible classification of finite-dimensional compact Hausdorff topological algebras
Walter Taylor

15. Categorical Abstract Algebraic Logic: Compatibility Operators and Correspondence Theorems
George Voutsadakis

Keywords: Philosophy, Logic, Mathematical Logic and Foundations, Mathematical Logic and Formal Languages