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

Freebase

  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.

Translation

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:     


Citation

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

Style:MLAChicagoAPA

"lf." Definitions.net. STANDS4 LLC, 2015. Web. 30 Aug. 2015. <http://www.definitions.net/definition/lf>.

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.