Algebraic Logic by H. Andreka, I. Nemeti, I. Sain

Algebraic Logic
by H. Andreka, I. Nemeti, I. Sain

2003
Number of pages: 129

Description:
Part I of the book studies algebras which are relevant to logic, e.g. algebras which were obtained from logics. Part II deals with the methodology of solving logic problems by (i) translating them to algebra (the process of algebraization), (ii) solving the algebraic problem, and (iii) translating the result back to logic.