[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