Definitions for LF

This page provides all possible meanings and translations of the word LF

Princeton's WordNet

  1. low frequency, LF(noun)

    30 to 300 kilohertz


  1. Logical framework

    In logic, a logical framework provides a means to define a logic as a signature in a higher-order type theory in such a way that provability of a formula in the original logic reduces to a type inhabitation problem in the framework type theory. This approach has been used successfully for automated theorem proving. The first logical framework was Automath; however, the name of the idea comes from the more widely known Edinburgh Logical Framework, LF. Several more recent proof tools like Isabelle are based on this idea. Unlike a direct embedding, the logical framework approach allows many logics to be embedded in the same type system. A logical framework is based on a general treatment of syntax, rules and proofs by means of a dependently typed lambda calculus. Syntax is treated in a style similar to, but more general than Per Martin-Löf's system of arities. To describe a logical framework, one must provide the following: A characterization of the class of object-logics to be represented; An appropriate meta-language; A characterization of the mechanism by which object-logics are represented. This is summarized by: ‘Framework = Language + Representation’.

Anagrams of LF »

  1. fl. , FL

  2. FL

  3. Fl.


Find a translation for the LF definition in other languages:

Select another language:

Discuss these LF definitions with the community:

Word of the Day

Would you like us to send you a FREE new word definition delivered to your inbox daily?

Please enter your email address:     


Use the citation below to add this definition to your bibliography:


"LF." STANDS4 LLC, 2015. Web. 4 Oct. 2015. <>.

Are we missing a good definition for LF? Don't keep it to yourself...

Nearby & related entries:

Alternative searches for LF:

Thanks for your vote! We truly appreciate your support.