Login

Czelakowski, Janusz

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

Czelakowski, Janusz - Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science, ebook

153,75€

Ebook, PDF with Adobe DRM
ISBN: 9783319747729
DRM Restrictions

PrintingNot allowed
Copy to clipboardNot allowed

Table of contents

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

Editor
Publisher
Springer
Publication year
2018
Language
en
Edition
1
Series
Outstanding Contributions to Logic
Category
Philosophy
Format
Ebook
eISBN (PDF)
9783319747729
Printed ISBN
978-3-319-74771-2

Similar titles