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

automatamodel theoryproof theoryset theoryKripke semanticsdeductioncomputational linguisticsLatticestree adjoining grammarscategorial grammarsindexed grammarsmodel-theoretic semanticslanguages, grammarsOperational structuresPredicate logic

Mathematics Subject Classification ID

Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Natural language processing (68T50)

Related Items (16)

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

This page was built for publication: Mathematical methods in linguistics