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.) 
%
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 


I digested it by transcribing it to larch:

http://www.w3.org/XML/9711theory/FormalSystem
http://www.w3.org/XML/9711theory/FormalSystem.lsl
http://www.w3.org/XML/9711theory/FormalSystem.html
$Id: FormalSystem.lsl,v 1.2 2000/07/27 21:54:19 connolly Exp $ 

about larch:

http://www.w3.org/XML/9711theory/#about-larch


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/
mailto:connolly.pager@w3.org?subject=pls%20call%20+1-NNN-NNN-NNNN
Received on Wednesday, 29 November 2000 18:00:38 UTC

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:33 UTC