Visualization of Natural Deduction as a Game of Dominoes

The usual Gentzen-style rules make some use of visual layout, but I suspect it may be possible to exploit the potential of graphical techniques far more effectively. Here is one attempt to do so. I'm not entirely convinced by this particular approach, but it is a brave attempt and worth noting.

This page is powered by Blogger. Isn't yours?