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.
|
||||||