Properties of logical systems: which field study it?

Question

Throughout my study of a paper (speacially p. 30) I had seen properties of logical systems, and its criteria, whose I'm not acquainted with. Some of them are: being a Tarskian logic, monotonic finitary, structural, standard. My question is what field does this kind of categorization and what are good some recommended readings.

*Page in question

Answer 1

For the topic see :

Algebraic logic as well as Abstract algebraic logic.

For refernces :

• J.Michael Dunn and Gary Hardegree, Algebraic Methods in Philosophical Logic (2001)

• Ryszard Wójcicki, Theory of logical calculi : basic theory of consequence operations (1988).