W3C home > Mailing lists > Public > www-rdf-logic@w3.org > November 2000

Model Theory on one page [was: I have a trouble with The RDF Model]

From: Dan Connolly <connolly@w3.org>
Date: Wed, 29 Nov 2000 16:59:54 -0600
Message-ID: <3A258A6A.B5D8A7D9@w3.org>
To: Graham Klyne <gk-lists@dial.pipex.com>
CC: pat hayes <phayes@ai.uwf.edu>, RDF-Logic <www-rdf-logic@w3.org>
Graham Klyne wrote:
> At 09:44 AM 11/27/00 -0600, pat hayes wrote:
> >The domain of a model theory, more or less by definition of the term
> >"model theory", is the expressions of the language (or perhaps more
> >exactly, the parsings of those expressions according to the syntactic
> >rules of the language.)
> I'm not sure I'd know a model theory if it leapt up and bit me,

I recently studied this bit of terminology/literature;
I found a good one-page summary:

% Formal Systems - Definitions 
% (from Ruth E. Davis, Truth, Deduction, and Computation. 
% New York: Computer Science press, 1989.) 
% (c) Charles F. Schmidt 
% Last Modified: Saturday, May 08, 1999 9:07:08 PM GMT 

I digested it by transcribing it to larch:

$Id: FormalSystem.lsl,v 1.2 2000/07/27 21:54:19 connolly Exp $ 

about larch:


Dan Connolly, W3C http://www.w3.org/People/Connolly/
Received on Wednesday, 29 November 2000 18:00:38 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 22:45:35 UTC