Mathematical methods in linguistics

zbMath0722.68089MaRDI QIDQ1188921

Alice ter Meulen, Barbara Partee, Robert E. Wall

Publication date: 17 September 1992

Published in: Studies in Linguistics and Philosophy (Search for Journal in Brave)

zbMATH Keywords

automata; model theory; proof theory; set theory; Kripke semantics; deduction; computational linguistics; Lattices; tree adjoining grammars; categorial grammars; indexed grammars; model-theoretic semantics; languages, grammars; Operational structures; Predicate logic

Mathematics Subject Classification ID

03B65: Logic of natural languages

68-02: Research exposition (monographs, survey articles) pertaining to computer science

68T50: Natural language processing

Related Items

From compositional to systematic semantics, Is Universal Computation a Myth?, Remarks on Compositionality, The grammar of mammalian brain capacity, On the mathematical foundations of \textit{Syntactic structures}, Algebraic foundations for the semantic treatment of inquisitive content, Algebraic translations, correctness and algebraic compiler construction, TAL recognition in \(O(M(n^2))\) time, Capacity, complexity, construction, A first-order axiomatization of the theory of finite trees, On the 3D visualisation of logical relations, The classical Aristotelian hexagon versus the modern duality hexagon, Precedence-inclusion patterns and relational learning, The Inverse Lambda Calculus Algorithm for Typed First Order Logic Lambda Calculus and Its Application to Translating English to FOL, Good Types Are Useful for Learning, On Meta-Knowledge and Truth