(3) owes much to the joint work of Blok and Pigozzi exploring the different forms that the well-known deduction theorem of classical propositional calculus and first-order logic takes on in a wide variety of logical systems.
The passage highlights the significance of the work by Blok and Pigozzi in understanding the various forms that the deduction theorem takes on across different logical systems.