[FOM] Logic and Linguistics

[Neil Tennant]

On Sun, 1 Apr 2007, John Baldwin wrote:

> Can one analyze first order logic in terms of phase structure grammars. 
> If so, does someone have a reference.

Linguists like Barbara Hall Partee and Gerald Gazdar worked on this in the
mid-1970s. I believe the language of first-order logic has a
context-sensitive grammar, hence can be recognized by a linear bounded
automaton. The main grammars, and the automata recognizing them, are
covered in "Formal languages and their relation to automata" by John E.
Hopcroft and Jeffrey D. Ullman (Reading, Mass., Addison-Wesley Pub. Co.
1969). (There is also a more recent edition with Aho as a third author.)

Neil Tennant