skip to main content
Idioma:

Type Logical Grammar: Categorial Logic of Signs

Morrill, Glyn V

Dordrecht: Springer Netherlands 1994

Texto completo disponível

Citações Citado por
  • Título:
    Type Logical Grammar: Categorial Logic of Signs
  • Autor: Morrill, Glyn V
  • Assuntos: Artificial Intelligence ; Categorial grammar ; Computational Linguistics ; Logic ; Montague grammar ; Philosophy ; Religion and Philosophy ; Semantics (Philosophy) ; Theoretical Linguistics ; Type theory
  • Descrição: This work sets out the foundations, methodology and practice of a formal framework for the description of language. The approach embraces the trends of lexicalism and compositional semantics in computational linguistics, and theoretical linguistics more broadly, by developing categorial grammar into a powerful and extendable logic of signs.;Taking Montague Grammar as its point of departure, the book explains how integration of methods from philosophy (logical semantics), computer science (type theory), linguistics (categorial grammar) and meta-mathematics (mathematical logic ) provides a categorial foundation with coverage including intensionality, quantification, featural polymorphism, domains and constraints. This book systematizes categorial thinking into a unified programme which is at once both logically secured, and a practical tool for pure lexical grammar development with type-theoretic semantics. It should be of interest to all those active in computational linguistics and formal grammar and is suitable for use at advanced undergraduate, postgraduate and research levels.
  • Editor: Dordrecht: Springer Netherlands
  • Data de criação/publicação: 1994
  • Formato: 311
  • Idioma: Inglês
Voltar para lista de resultados
Ir para página anteriorAnterior Resultado  6 AvançarIr para próxima página

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.