Mathematical methods in linguistics
From MaRDI portal
Publication:1188921
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)
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
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