Category:Logical calculi

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