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