No, the tableaus I want to create do not contain any loops.
On Thu, Nov 7, 2013 at 11:01 AM, Ernesto Posse wrote:
> I asked about which logic because that determines which operators you will
> need (I've only given you a few in my examples), but also because for some
> logics the tableaux are n
I asked about which logic because that determines which operators you will
need (I've only given you a few in my examples), but also because for some
logics the tableaux are not trees but directed acyclic graphs, (e.g., in
temporal logics). This of course has a big impact on how to draw the
tableau
Ernesto,
I'm writing a paper using LyX, and I need to insert several specific
tableaus into it. Using your numbers:
1) I do not want to add just *any* tableau example.
2) I do want to add several specific tableaus containing particular
formulas. Probably just five or six such tableaus, each of
Didn't my last suggestions help?
I am still unsure about whether you want to 1) add *any* tableau example,
2) add a specific tableau (i.e., a particular example that you have in mind
with particular formulas), or 3) be able to make your own tableaux. If it
is 1 or 2, which logic? Please clarify.
On Tue, Nov 5, 2013 at 11:16 AM, William Hanson wrote:
> There they are. Any Suggestions?
>
> Bill
Thanks Bill. I don't know much tikz to help, but hopefully someone who
does will come along. This might also be a good question for
tex.stackexchange.com.
Best of luck,
Scott
Scott,
Yes, what a good idea. Here are two examples of what I've been able to do
so far.
In both of the following examples I've copied the code directly out of the
TeX Code box which I got from the Insert menu on the LyX toolbar.
*First example*: It would be perfect if it did not have those ve
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 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
