Una gramática más alta (CERDO) de la orden del es una teoría de la gramática basada en la lógica Higher-order . Puede ser vista simultáneamente como teórico generativo-enumerativo (como la gramática Categorial y los principios y los parámetros ) o modelo (como la gramática de estructura de frase Cabeza-Conducida o la gramática funcional léxica ).

Características dominantes

allí es una lógica proposicional de los tipos, que denotan los sistemas (fonológico, sintáctico, o semántico) de entidades lingüísticas. Por ejemplo, el tipo NP denota la categoría sintáctica (o la clase de forma) de las oraciones nominales .
El CERDO mantiene distinción de s del curry Haskell abstracto 'entre la estructura tectogrammatical (sintaxis del ) y la estructura phenogramatical (sintaxis concreto) del .
Las entidades sintácticas abstractas se identifican con las formas libres del structuralist ( Bloomfield - Hockett ) (las palabras y las frases). Por ejemplo, el de NP su gato es distinto de su fonología o de su semántica .
El sintaxis concreto se identifica con la fonología, interpretada amplio para incluir orden de las palabras.
El modelado de los sentidos de Fregean es amplio similar al Montague 's, pero con las intensiones substituidas por los hyperintensions fino-granulosos .
Hay el cálculo del término de la prueba del de a ( Curry-Howard ), cuyos términos denotan (fonológico, sintáctico, o semántico) entidades lingüísticas.
El cálculo del término se encaja en una lógica Higher-order (HOL) clásico.
Los interfaces de la sintaxis-fonología y de la sintaxis-semántica se expresan como teorías axiomáticas en HOL.
HOL admite el Subtyping (del separación-estilo), e. NPacc, el tipo de oraciones nominales del acusativo, es un subtipo de NP, y denota un subconjunto de la categoría denotada por NP.