W3C home > Mailing lists > Public > public-qt-comments@w3.org > April 2004

[FS] IBM-FS-100: Significance of order of premises in inference rules

From: Henry Zongaro <zongaro@ca.ibm.com>
Date: Thu, 1 Apr 2004 16:20:34 -0500
To: public-qt-comments@w3.org
Message-ID: <OF3B10F13C.B35064C3-ON85256E69.0071B3CB-85256E69.00753CFF@ca.ibm.com>

Hello,

     The following is a comment from IBM on the Last Call working draft of 
Formal Semantics.


Section 2.1.3

Some inference rules are written as if the order of the premises is 
significant, using terms like "first", "second", "then" (see last 
paragraph of section 2.1.5, for example).  If the order is signficant, 
that should be stated here.  Otherwise, those inferences should not be 
written as if the order was significant.

Thanks,

Henry (on behalf of IBM)
------------------------------------------------------------------
Henry Zongaro      Xalan development
IBM SWS Toronto Lab   T/L 969-6044;  Phone +1 905 413-6044
mailto:zongaro@ca.ibm.com
Received on Thursday, 1 April 2004 16:21:10 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 7 January 2015 15:45:19 UTC