LF

In generative linguistics, LF is often used as an abbeviation for Logical Form.