Skip to Main Content


AMS eBook CollectionsOne of the world's most respected mathematical collections, available in digital format for your library or institution


Algebraizable logics

About this Title

W. J. Blok and Don Pigozzi

Publication: Memoirs of the American Mathematical Society
Publication Year: 1989; Volume 77, Number 396
ISBNs: 978-0-8218-2459-7 (print); 978-1-4704-0816-9 (online)
DOI: https://doi.org/10.1090/memo/0396
MathSciNet review: 973361
MSC: Primary 03G99; Secondary 03B45, 03B55, 03B60, 03C05, 03G15, 08C15

PDF View full volume as PDF

View other years and numbers:

Table of Contents

Chapters

  • Introduction
  • 1. Deductive systems and matrix semantics
  • 2. Equational consequence and algebraic semantics
  • 3. The lattice of theories
  • 4. Two intrinsic characterizations
  • 5. Matrix semantics and algebraizability
  • Appendix A. Elementary definitional equivalence
  • Appendix B. An example
  • Appendix C. Predicate logic