| 1.1.3 | ||||||
| Connections to Other Systems | ||||||
| home page | ||||||
|
Textual delimiters can be used to represent containers. Containment is the same as inclusion, it is a partial ordering. Many theoreticians have used parentheses as a toy example of a formal system, making Bracket Systems of interest in several ways. Catalan numbers count ways parentheses can be nested.
|
||||||
| boundary math | ||||||
| introduction | ||||||
|
|
||||||
| about logic | ||||||
| formal diagrams | ||||||
| ∆ other systems | ||||||
|
|
||||||
| links | ||||||
| site structure | ||||||
|
Here are some connections between boundary math and Boolean cubes, matrix logic, and lambda calculus.
|
||||||