Category:Logical calculi

From Wikipedia, the free encyclopedia

Jump to navigation Jump to search

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

See also Category:Algebraic logic.

Subcategories

This category has the following 4 subcategories, out of 4 total.

C

► Combinatory logic‎ (1 C, 9 P)

L

► Lambda calculus‎ (3 C, 51 P)

P

► Process calculi‎ (20 P)
► Program logic‎ (3 P)

Pages in category "Logical calculi"

The following 36 pages are in this category, out of 36 total. This list may not reflect recent changes (learn more).

Retrieved from "https://en.wikipedia.org/w/index.php?title=Category:Logical_calculi&oldid=547551199"