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.

BRACKET SYSTEMS
CATALAN AND BOUNDARY LOGIC LANGUAGES
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.

SYMMETRY IN BOOLEAN FUNCTIONS, WITH EXAMPLES FOR TWO AND THREE VARIABLES*
NOTES ON MATRIX TECHNIQUES FOR LOGIC
LAMBDA CALCULUS IN BOUNDARY NOTATION