Hi Bill, Have you made an attempt? Could you share it with us?
Scott On Mon, Nov 4, 2013 at 10:13 PM, William Hanson <[email protected]> wrote: > Despite much help from Ernesto Posse, for which I'm grateful, and which has > allowed me to make some progress, I'm still far from being able to create > tableau proofs in LyX. > > The attached file contains an example of what I want to create. It's a > tree, each node of which consists of one or more lines of text (one line > above another). These multi-line nodes are connected by slanted lines that > indicate branching. The trees do not contain any vertical lines. There are > examples in many logic texts, the best source being Melvin Fitting and > Richard Mendelsohn, First-Order Modal Logic, Kluwer, 1999. > > I know there are sources on the web that cover related matters (tress in > linguistics, sequent-calculus proof), but I've not yet found anything that's > both close to what I need and usable by someone who doesn't know LaTeX. > > I've been using LyX for several years. But since I don't know LaTeX, I'm > not able to download an existing program and customize it to my needs. > > Bill Hanson > >
