Good recommendations to study Algebraic logic

Question

I've asked before about good recommendations to study algebra for the sake of algebraic logic and I've got very good recommendations.

I wonder if you have some recommendations to start studying algeraic logic itself.

I've come across some books but not sure which one to start with.

Now, What do you recommend? and why?

Some of the books that I've seen are:

• An Algebraic introduction to mathematical logic, Barnes
• The Mathematics of Metamathematics, Helena Rasiowa & Roman Sikorski
• An Algebraic approach to non-classical logics, Rasiowa
• Algebraic logic, Andreka and Monk
• Algebraic logic, Halmos
• Algebraic methods in philosophical logic, Dunn.
• Algebraic Methods of mathematical logic, Ladisalv Rieger

Which one do you recommend? feel free to recommend books that I've not mentioned above.

By the way, I know elements of algebraic logic as I've read most of Paul Halmos' Logic via Algebra

Answer 1

Some comments...

I suggest you to consider also :

• JDonald Monk, Mathematical logic (1976);

it is a "standard" textbook with : Part I: Recursive Function Theory; Part II: Elements of Logic; Part III: Decidable and Undecidable Theories; Part IV: Model Theory, but the treatment of mathematical logic has a strong "algebraic" flavour, with a section dedicated to Cylindric algebras.

Personally, I do not reccomend Paul Halmos, Algebraic logic (1962), because is a collection of separate papers.

About :

• Helena Rasiowa & Roman Sikorski, The Mathematics of Metamathematics (1963),

it is a "modern classic", very rigorous and complete for classical and intuitionistic logics; unfortunately, it is quite old (there is no Kripke semantics) and also the symbols used are quite "old-fashioned".

About :

• Donald W. Barnes & John M. Mack, An Algebraic Introduction to Mathematical Logic (1975),

it is a good textbook, but "limited" to classical logic.

Answer 2

Well, as always the choice of appropriate book depends on your motivations for studying algebraic logic. Although my knowledge of it is very superficial it seems to me you have not received many recommendations so let me comment briefly.

I only skimmed through Algebraic methods in philosophical logic by Dunn and Hardegree but it seemed to me that it is easy to read. However, it does not cover the algebraization of FOL. For that see cylindric algebras (e.g. two volumes by Henkin, Monk, and Tarski), complete lattices (e.g. book by Rasiowa and Sikorski), Halmos (polyadic) algebras or some other approaches.

The mathematics of metamathematics by Rasiowa and Sikorski and An algebraic approach to non-classical logics by Rasiowa are classics. If I remember it correctly the later provides a more general approach and the former deals mainly with classical and intuitionistic logic.

It is worth of mentioning that Rieger's book Algebraic methods of mathematical logic is based on complete but unlikely final manuscript found after author's premature death.

If you are interested in so-called abstract algebraic logic in general setting then Protoalgebraic logic by Czelakowski is a useful source. There are also some survey papers and influential monograph Algebraizable logics by Blok and Pigozzi.