W3C home > Mailing lists > Public > www-math@w3.org > September 2002

presenting tableau calculi

From: Pietro Abate <abate@discus.anu.edu.au>
Date: Tue, 1 Oct 2002 11:41:01 +1000
To: www-math@w3.org
Message-ID: <20021001014101.GA31416@zed>

hello everybody.
I would like to represent a structure like this with mathml

         (A v B ) & ~~A
   ------------------------- (&)
         A v B ; ~~A
   ------------------------- (v)
   ~A;~~A      |   ~B;~~A
   ------ (~~)     ------ (~~)
   ~A;A            B;A
   ----- (stop)    ----- 
   close           open
 

and every expansion correspond to a rule application like these:

 A v B             ~A;A               (numerator set )
------- (v)      -------- (stop)
~A | ~B           close               (denominator set )

On the web there are many Mathml examples but I was unable to find 
any for this formalism...

Do you have any examples or pointers about that ?

thank you for your help,
p
Received on Monday, 30 September 2002 21:42:05 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Saturday, 20 February 2010 06:12:51 GMT