Category:Logical calculi

From Infogalactic: the planetary knowledge core
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.