LP&L Trees 0 Video: Advanced Tarksi World Tree

Logical System


John Barwise and John Etchemendy, [1999] Language, Proof and Logic 

This video shows extending, closing, and Analytical Consequence for a pretty advanced example tree. The tree itself is broad, spreading a long way from left to right. This leads to some scrolling back and forth because the applet is being held to the width of a printable page. [In the general case, though, the applet could be re-sized to take advantage of your no doubt sizable monitor and its extensive screen real estate.]