Category:Logical calculi

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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

See also Category:Algebraic logic.