Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Logical framework

Known as: Edinburgh Logical Framework, Framework, Lf 
In logic, a logical framework provides a means to define (or present) a logic as a signature in a higher-order type theory in such a way that… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
The Semantic Web drives toward the use of the Web for interacting with logically interconnected data. Through knowledge models… Expand
  • table 1
  • table 2
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2007
Highly Cited
2007
I: Core Maude.- Using Maude.- Syntax and Basic Parsing.- Functional Modules.- A Hierarchy of Data Types: From Trees to Sets… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
  • A. Ranta
  • J. Funct. Program.
  • 2004
  • Corpus ID: 38724017
Grammatical Framework (GF) is a special-purpose functional language for defining grammars. It uses a Logical Framework (LF) for a… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The paper considers the problem of merging several belief bases in the presence of integrity constraints and proposes a logical… Expand
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
This paper proposes membership equational logic—a Horn logic in which the basic predicates are equations t = t′ and membership… Expand
Is this relevant?
Highly Cited
1996
Highly Cited
1996
We present the linear type theory LLF as the formal basis for a conservative extension of the LF logical framework. LLF combines… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
3 A Meta-Logic for Unification 4 3.1 A First-Order Unification Logic with Quantifier Dependencies . . . . . . . . . . . . . 5 3.2… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We present a general framework for defining nonmonotonic systems based on the notion of preferred maximal consistent subsets of… Expand
Is this relevant?
Highly Cited
1988
Highly Cited
1988
  • D. Poole
  • Artif. Intell.
  • 1988
  • Corpus ID: 44496670
Abstract This paper presents a simple logical framework for default reasoning. The semantics is normal first-order model theory… Expand
Is this relevant?