Matrix logic
Logical reasoning with diagrams
Logic and Visual Information
KI '95 Proceedings of the 19th Annual German Conference on Artificial Intelligence: Advances in Artificial Intelligence
The mathematics of boundaries: a beginning
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
The mathematics of boundaries: a beginning
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
Hi-index | 0.00 |
Boundary logic is a formal diagrammatic system that combines Peirce's Entitative Graphs with Spencer Brown's Laws of Form. Its conceptual basis includes boundary forms composed of non-intersecting closed curves, void-substitution (deletion of irrelevant structure) as the primary mechanism of reduction, and spatial pattern-equations that define valid transformations. Pure boundary algebra, free of interpretation, is first briefly described, followed by a description of boundary logic. Then several new diagrammatic notations for logic derived from geometrical and topological transformation of boundary forms are presented. The algebra and an example proof of modus ponens is provided for textual, enclosure, graph, map, path and block based forms. These new diagrammatic languages for logic convert connectives into configurations of containment, connectivity, contact, conveyance, and concreteness.