Description
Book Synopsis
0. Basic definitions and facts.- I. Protoalgebraic Logics. The Leibniz Operator.- 1. Protoalgebraic logics.- 2. Protoalgebraicity and the Deduction Theorem.- 3. Equivalential logics.- II. Algebraizable Sentential Logics.- Q. Quasivarieties of algebras.- 4. Algebraizable logics.- 5. Regularly algebraizable logics.- 6. Fregean logics.- Symbol index.- Index of definitions.
Trade Review
`This book is an excellent and very readable introduction to the area of abstract algebraic logic. It includes recent technical results together with philosophical comments to provide a context. Many of the chapters contain exercises that give additional results and all of the chapters contain extensive end notes to guide the reader to the literature
' Mathematical Reviews, 2002f Table of Contents
Introduction. On the book. Mathematical Prerequisites. Exercises. Notes for Mathematical Prerquisites. 0. Basic definitions and facts. Part I: Protoalgebraic Logics. The Leibniz Operator. 1. Protoalgebraic logics. 2. Protoalgebraicity and the Deduction Theorem. 3. Equivalential logics. Part II: Algebraizable Sentential Logics. Q. Quasivarieties of algebras. 4. Algebraizable logics. 5. Regularly algebraizable logics. 6. Fregean logics. Bibliography. Symbol Index. Index of definitions.
