Re: inference rule markup in W3C specs?

On Fri, 2002-04-12 at 03:32, Andrea Asperti wrote:
> 
> MathML supports implication,

really? I couldn't find it when I looked a while ago.

Aha! there it is:

Example

<apply>
<implies/>
<ci> A </ci>
<ci> B </ci>
</apply>

	-- http://www.w3.org/TR/MathML2/chapter4.html#contm_implies



> Do you have a clear idea of what you need?

Umm... pretty much just first order logic.

> For instance, what
> kind of datatypes would you like to consider? Would you like
> to work in a typed or an untyped formal setting?

I'm not sure. I think a sorted/typed notation is handy.
The RELAX-NG notation seems to be typed, for example.

> etc. etc. 
> 
> In any case, a strong coordination with the MathML WG is surely 
> auspicable. Maybe we can try to create a small task force of people
> interested in this issue. But the first problem is surely to
> have a beeter understanding of what you (we) are looking for.

I'll have to think about it...

-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/

Received on Friday, 12 April 2002 10:14:38 UTC