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