Logic and Systems of Logic One can construct nearly for every field of study a system of logic which is specific to this field. Many of these systems are extensions of first-order logic with identi…