Re: action: some references to model theory

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