Prescriptivismo lingüístico
En una gramática normativa se establecen las reglas de uso de una lengua, pensadas para alguien que previamente ya sabe hablar esa lengua. Se fija o prescribe lo que se considera correcto y lo incorrecto. En síntesis, se dicta cómo se debe hablar y, sobre todo, escribir. En esta disciplina se supone codificación de las normas de uso. Generalmente se atribuye más valor a la lengua escrita que a la oral, y se prestigian y perpetúan las modalidades literarias y cultas. Según este modelo, entre las categorías lógicas y las gramaticales ocurre similitud o paralelismo. Un concepto opuesto es el de gramática descriptiva, relativa al uso real de una lengua.
Gramática booleana
Las gramáticas booleanas, introducidas por Okhotin, son una clase de gramáticas formales estudiadas en la teoría de lenguajes formales. Esta gramáticas extienden el tipo básico de gramáticas, las gramáticas libres de contexto con operaciones de conjunción y negación. Además de estas operaciones explícitas, las gramáticas booleanas permiten la disyunción implícita representada por múltiples reglas para un solo símbolo no terminal, que es la única conectividad lógica expresable en gramáticas libres de contexto. La conjunción y la negación pueden usarse, en particular, para especificar la intersección y el complemento de los idiomas. Una clase intermedia de gramáticas conocidas como gramáticas conjuntivas permite la conjunción y la disyunción pero no la negación.