I remember there is a book published a few decades ago, which is probably hundreds of pages thick and describes the connection between languages (nor sure formal or natural languages, probably latter), syntax, semantics, logic, and mathematical foundations (maybe set, type, or category theories). The first author is probably a women's name, such as Patty or not. I can't remember the book's name right now, probably like "languages, logic, and ....", and was wondering if anyone has seen the book.
Asked
Active
Viewed 60 times
1
-
1Found it: Mathematical Methods in Linguistics (Studies in Linguistics and Philosophy, 30) by Barbara B.H. Partee, A.G. ter Meulen, et al. | Apr 30, 1990 – Tim Jul 02 '23 at 03:35
-
2You should add that as an answer, not a comment, and then select it as the correct answer. – Janus Bahs Jacquet Jul 02 '23 at 08:43