Is There Still Logic in Bolzano's Key?
Johan van Benthem

Abstract:
Bernard Bolzano's logical system still has 
quite relevant features today. We discuss 
three of these: general styles of reasoning 
and their structural properties, the role 
of vocabulary in inference, and local 
consequence inside models.