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.
`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
Ask a Question About this Product More... |