Message-Id: <m0r4jOP-00005bC@xiron.pc.helsinki.fi>
Date:         Tue, 8 Nov 1994 00:42:07 -0500
Reply-To:     Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Sender:       Lojban list <LOJBAN%CUVMB.bitnet@FINHUTC.hut.fi>
From:         Logical Language Group <lojbab@ACCESS.DIGEX.NET>
Subject:      logic for language (fwd)
To:           Veijo Vilva <veion@XIRON.PC.HELSINKI.FI>
Content-Length: 1256
Lines: 32

Long-time Lojbanist Don Simpson, who is not on this list, asked me to pass
along this message.  Hope it is useful (that quantifiers paper seems like
it could be relevant to the current issue???)

lojbab
========
DO>Date: Mon, 7 Nov 1994 21:43:38 -0500
DO>From: DonSimpson@aol.com
DO>To: lojbab@access.digex.net
DO>Subject: logic for language
DO>
DO>     There were a couple of papers on logic and language that I felt were
DO>very important when I ran across them at Schlumberger Palo Alto Research. I
DO>copied their title sheets so I could try ordering them later, then lost the
DO>title sheets. Last week I found them. I've now forgotten the details, but I
DO>wanted to pass the information on immediately, and I hope you will put it
DO>on the net for the other loglandians. -- Don
DO>
DO>
DO>  Center for the Study of Language and Information
DO>  Ventura Hall, Stanford University, Stanford, CA 94305
DO>
DO>     Report No. CSLI-86-55 June 1986
DO>     Quantifiers in Formal and Natural Languages
DO>     Dag Westerstahl [the "a" in Westerstahl has a little circle over it]
DO>
DO>--More--
DO>     Report No. CSLI-86-40 March 1986
DO>     A Complete, Type-free, "Second-order" Logic and Its Philosophical
DO>Foundations
DO>     Christopher Menzel
DO>