In some theories of syntax and grammar, in particular in the Chomskyan schools of
Government and Binding Theory and the
Minimalist program,
Logical Form (abbreviated
LF), refers to a
mental representation of a linguistic expression, derived solely from
Surface Structure. In the words of
Chomsky, LF captures "those aspects of semantic representation that are strictly determined by grammar, abstracted from other cognitive systems". It functions as the interface between grammar and conceptual-intentional properties of language, analogous to how the
Phonetic Form (abbreviated
PF) is the interface between grammar and the audio-perceptual properties of utterances.