A Gentle Introduction to the Leibniz Hierarchy
摘要
The aim of this chapter is to review the basics of the theory of the Leibniz hierarchy typical of abstract algebraic logic. Proofs and examples are presented in a selfcontained way, with an eye to offering a quick entry to the field to the nonspecialist.