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

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

L

Lambda calculus

P

Process calculi

Pages in category "Logical calculi"

The following 23 pages are in this category, out of 23 total. Updates to this list can occasionally be delayed for a few days.

C

Calculus of structures

D

E

F

F cont.

Frege's propositional calculus

H

Hilbert-style deduction system

J

Judgment (mathematical logic)

L

Laws of Form

M

P

Predicate calculus

P cont.

R

S

T

Tuple relational calculus

Categories: Logic in computer science | Formal methods | Mathematical logic

Views

Interaction

Search

Languages