Re: presenting tableau calculi

Ciao Pietro,

On Tue, 2002-10-01 at 03:41, Pietro Abate wrote:
> I would like to represent a structure like this with mathml
[...]

looks like a sort of natural deduction tree. Presenting logic in MathML
is not an easy issue. What we currently do with sequent calculus is to
use tables where we activate the horizontal line between the hypothesis
and the conclusion. The problem in your case is that even using this
trick you will hardly be able to preserve the structure of the tree,
that is, you will have to flatten the tree and represent it with a
single table. Representing this single example may be quite easy, but
doing it in general (and automatically) could become tricky. 

Another possibiliy would be to use a combination of SVG and MathML
markup, so that you can place your formulas as you wish within your
frame, and you draw lines and whatever else with SVG. Not sure if you
can do this with Mozilla yet, but if your "represent" does not mean
"render" that is an option.

Regards,
Luca

Received on Thursday, 3 October 2002 02:38:54 UTC