Model-theoretic grammars, also known as constraint-based grammars, contrast with generative grammars in the way they define sets of sentences: they state...

number Institutional model theory Kripke semantics Löwenheim–Skolem theorem Model-theoretic grammar Proof theory Saturated model Skolem normal form Chang...

are, broadly speaking, two different ways to study grammar: traditional grammar and theoretical grammar. Fluent speakers of a language variety or lect have...

of grammar based on these models became popular during the Renaissance. Traditional grammars may be contrasted with more modern theories of grammar in...

principles and parameters) or model theoretic (like head-driven phrase structure grammar or lexical functional grammar). There is a propositional logic...

that create both new practical results as well as new theoretical models, but targeting theoretical results shared in an academic fashion.: 815  They use...

Theoretical physics is a branch of physics that employs mathematical models and abstractions of physical objects and systems to rationalize, explain and...

Generative grammar is a theoretical approach in linguistics that regards grammar as a domain-specific system of rules that generates all and only the...

grammar is a linguistic model proposed by Geraldine Legendre, Yoshiro Miyata, and Paul Smolensky in 1990. It is a connectionist approach to modeling linguistic...

The actor model originated in 1973. It has been used both as a framework for a theoretical understanding of computation and as the theoretical basis for...

studies formal grammars and languages, is a branch of applied mathematics. Its applications are found in theoretical computer science, theoretical linguistics...

An augmented transition network or ATN is a type of graph theoretic structure used in the operational definition of formal languages, used especially...

In theoretical computer science and formal language theory, a regular grammar is a grammar that is right-regular or left-regular. While their exact definition...

Lexical functional grammar (LFG) is a constraint-based grammar framework in theoretical linguistics. It posits two separate levels of syntactic structure...

(proof-theoretic) approach to syntax assumed by transformational grammar, arc pair grammar takes a model-theoretic approach. In arc pair grammar, linguistic...

linguistics, transformational grammar (TG) or transformational-generative grammar (TGG) is part of the theory of generative grammar, especially of natural languages...

evolutionary and cognitive perspective. It incorporates various models within generative grammar, which seeks to explain language structure through formal rules...

consist of a finite set of sentences. Pullum advocates for a model-theoretic approach to grammar rather than a generative one. This perspective emphasizes...

studying the structure of language.[citation needed] The Port-Royal grammar modeled the study of syntax upon that of logic. (Indeed, large parts of Port-Royal...

other. Among these are stochastic grammars, context sensitive grammars, and parametric grammars. The grammar model we have discussed thus far has been...

construction grammar is not an original model of cultural evolution, but for essential part the same as memetics. Construction grammar is associated...

necessary and formal, by way of examples that explain with formal proof and models of interpretation. A sentence is said to be a logical consequence of a set...

approaches to the semantics of Datalog programs: model-theoretic, fixed-point, and proof-theoretic. These three approaches can be proven to be equivalent...

language is often defined by means of a formal grammar such as a regular grammar or context-free grammar, which consists of its formation rules. In computer...

(2006). The Harmonic Mind: From Neural Computation to Optimality-Theoretic Grammar. Vol. 1: Cognitive Architecture. Cambridge, MA: MIT Press. Smolensky...

inclusive). The general idea of a hierarchy of grammars was first described by Noam Chomsky in "Three models for the description of language". Marcel-Paul...

In grammar and theoretical linguistics, government or rection refers to the relationship between a word and its dependents. One can discern between at...

Systemic functional grammar (SFG) is a form of grammatical description originated by Michael Halliday. It is part of a social semiotic approach to language...

diffusion models, also known as diffusion probabilistic models or score-based generative models, are a class of latent variable generative models. A diffusion...

restricted grammars in the Chomsky hierarchy: context-sensitive grammars or context-free grammars. In a broader sense, phrase structure grammars are also...