Dear All, I have been trying to find a definition of what constitutes a well-formed formula in any particular DL. I'm familiar with the different constructors used in some of the different DLs, but what I haven't seen in anything like the usual FOPL presentation of a WFF. Does anyone know of one? Thanks, Matt -- http://acl.icnet.uk/~mw http://adhominem.blogsome.com/ +44 (0)7834 899570Received on Thursday, 17 August 2006 19:31:23 UTC
This archive was generated by hypermail 2.4.0 : Tuesday, 5 July 2022 08:44:58 UTC