Formative Grammar is an approach in Theoretical Linguistics that takes as its point of departure that it is possible to include meaningful descriptions of the communicative and cognitive functions of language as well as accounting for these functions in a precise, exact and accurate way by means of a formal system.
The first technical language of Formative Grammar deals with Syntax and is called Epi-Formal Analysis in Syntax: EFA(X), and technical languages for Semantics (EFA(SE)) and Pragmatics (EPHRAGM) is being developed.
For the purpose of formal description the approach has developed a special kind of logic called Occurrence Logic.
An updated version of the syntactic theory has been be presented in the publication