- From: Dan Connolly <connolly@w3.org>
- Date: Fri, 27 Jul 2001 07:55:08 -0500
- To: Graham Klyne <Graham.Klyne@Baltimore.com>
- CC: RDF core WG <w3c-rdfcore-wg@w3.org>
Graham Klyne wrote: > > I'll add to this a reference book from which I recently got my basic > understanding of the relationship between logic, syntax, model theoretic > semantics and proof theory: For me it was this front-side-of-one-page web page, derived from a book: % Formal Systems - Definitions % (from Ruth E. Davis, Truth, Deduction, and Computation. % New York: Computer Science press, 1989.) % http://www-rci.rutgers.edu/~cfs/305_html/Deduction/FormalSystemDefs.html % (c) Charles F. Schmidt % Last Modified: Saturday, May 08, 1999 9:07:08 PM GMT which I was able (I think) to transcribe into larch: http://www.w3.org/XML/9711theory/FormalSystem.lsl $Id: FormalSystem.lsl,v 1.3 2000/10/31 22:26:31 connolly Exp $ I have since used that knowledge to draft a model theory for RDF: http://www.w3.org/XML/9711theory/RDFSemantics.lsl $Id: RDFSemantics.lsl,v 1.2 2001/03/30 18:42:44 connolly Exp $ to go along with an Abstract Syntax: http://www.w3.org/XML/9711theory/RDFAbSyn.lsl $Id: RDFAbSyn.lsl,v 1.5 2001/03/30 18:42:44 connolly Exp $ I intend to update RDFAbsyn.lsl and RDFSemantics.lsl w.r.t. recent work of this group, but I haven't gotten around to it yet. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Friday, 27 July 2001 08:55:38 UTC