[FS] IBM-FS-100: Significance of order of premises in inference rules from Henry Zongaro on 2004-04-01 (public-qt-comments@w3.org from April 2004)

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