- From: Graham Klyne <Graham.Klyne@Baltimore.com>
- Date: Fri, 20 Jul 2001 17:29:13 +0100
- To: RDF core WG <w3c-rdfcore-wg@w3.org>
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: Metalogic, An Introduction to the Metatheory of Standard First Order Logic Geoffrey Hunter University of California Press 1971 (6th printing 1996) ISBN 0-520-02356-0 #g -- At 11:27 AM 7/20/01 -0400, Frank Manola wrote: >I'd suggest looking at >http://users.bestweb.net/~sowa/misc/mathw.htm#Model (which also contains >a pointer to a useful paper by Taski). The DAML model theoretic >semantics for which Graham posted the URL >(http://www.daml.org/2001/03/model-theoretic-semantics.html) provides an >immediate example. Plugging "model theoretic semantics" into Google >provides a bunch of references as well, some of which are useful. [This >stuff may not be very helpful, but it's more or less what I had in mind >when I volunteered!] > >--Frank > >-- >Frank Manola The MITRE Corporation >202 Burlington Road, MS A345 Bedford, MA 01730-1420 >mailto:fmanola@mitre.org voice: 781-271-8147 FAX: 781-271-8752 ------------------------------------------------------------ Graham Klyne Baltimore Technologies Strategic Research Content Security Group <Graham.Klyne@Baltimore.com> <http://www.mimesweeper.com> <http://www.baltimore.com> ------------------------------------------------------------
Received on Friday, 20 July 2001 14:10:59 UTC