Category:Logical calculi

Wikimedia Commons has media related to Logical calculi.

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

Subcategories

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

C

Combinatory logic‎ (1 C, 9 P)

L

Lambda calculus‎ (3 C, 49 P)

P

Process calculi‎ (20 P)
Program logic‎ (4 P)

Pages in category "Logical calculi"

The following 35 pages are in this category, out of 35 total. This list may not reflect recent changes.

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