- From: Pietro Abate <abate@discus.anu.edu.au>
- Date: Tue, 1 Oct 2002 11:41:01 +1000
- To: www-math@w3.org
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 UTC