Wikimedia Commons has media related to Logical calculi.

This category contains calculi and closely related methods for the manipulation of formal logical formulae and values.