Selected laws

In this project we study the 4694 laws (up to symmetry and relabeling) of total order at most \(4\).

Selected laws of interest are listed below, as well as in this file. As will be discussed in Chapter General implications, every equational law comes with a dual.

Equation 1 to Equation 46

• Equation 1
• Equation 2
• Equation 3
• Equation 4
• Equation 5
• Equation 6
• Equation 7
• Equation 8
• Equation 14
• Equation 16
• Equation 23
• Equation 29
• Equation 38
• Equation 39
• Equation 40
• Equation 41
• Equation 42
• Equation 43
• Equation 45
• Equation 46

Equation 63 to Equation 3167

• Equation 63
• Equation 65
• Equation 168
• Equation 206
• Equation 381
• Equation 387
• Equation 477
• Equation 854
• Equation 953
• Equation 1485
• Equation 1491
• Equation 1571
• Equation 1648
• Equation 1657
• Equation 1659
• Equation 1661
• Equation 1689
• Equation 1701
• Equation 2662
• Equation 3167

Equation 3588 to Equations of order greater than…

• Equation 3588
• Equation 3722
• Equation 3744
• Equation 4315
• Equation 4512
• Equation 4513
• Equation 4522
• Equation 4564
• Equation 4579
• Equation 4582
• Equations of order greater than \(4\)

The dependency explorer needs JavaScript and its graph data.

Download the complete graph data.