OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.

 


Help: OASIS Mailing Lists Help | MarkMail Help

relax-ng message

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]


Subject: Re: Formal Semantics


James Clark wrote:

> 
> I know MSL does this, but other references I have looked at don't.  It seems
> artificial to me to consider axioms as inference rules with an empty
> antecedent.  What do you think, Murata-san?

It was long time ago when I read "Mathematical Logic" (Shoenfield), 
and I am not an expert of type inference.  However, if my memory 
is correct, this is a matter of taste.

Cheers,

Makoto


[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index] | [Elist Home]


Powered by eList eXpress LLC