Category:Logical calculi
From Wikipedia, the free encyclopedia
This category contains calculi and closely related methods for the manipulation of formal logical formulae and values.
Subcategories
There are 2 subcategories to this category shown below (more may be shown on subsequent pages).