Hello, To address some questions regarding how H2F can accommodate non-model theoretic notions (as, e.g, a Logical Framework in the formal sense defined in http://www.w3.org/2005/rules/wg/wiki/B.1.1_CLP_Formulation), I added some references to that effect in http://www.w3.org/2005/rules/wg/wiki/B.1.1_CLP_Formulation#head-aaff80cea5c91736cc71929918cff795a988ed50 -hak -- Hassan Aït-Kaci ILOG, Inc. - Product Division R&D tel/fax: +1 (604) 930-5603 - email: hak @ ilog . comReceived on Saturday, 4 November 2006 21:36:21 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Tuesday, 2 June 2009 18:33:34 GMT