- From: Dan Connolly <connolly@w3.org>
- Date: Wed, 29 Nov 2000 16:59:54 -0600
- 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