Chapter 3

Fractal Images of Formal Systems,
by Paul St. Denis and Patrick Grim

An electronic form of "Fractal Images of Formal Systems," The Journal of Philosophical Logic 26: 181-222, 1997. An expanded version of this piece also appears as chapter 3 of The Philosophical Computer.

1. Introduction
2. An Example Using Tic-Tac-Toe
3.'Rug' Enumeration images
4. Theorem Fractals
5. The Sierpinski Tautology Map
6. Value Solids and Multi-Valued Logics
7. Cellular Automata in Value Space
8. Conclusion