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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
Modularity is a key requirement for collaborative ontology engineering and for distributed ontology reuse on the Web. Modern… (More)
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Current technologies for Web Services are based on syntactical descriptions and, therefore, lend themselves to only limited… (More)
Is this relevant?
Highly Cited
2003
Highly Cited
2003
The increased awareness of the importance of data protection has made access control a relevant component of current data… (More)
  • figure 1
  • table I
  • table II
  • table III
  • table IV
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The paper considers the problem of merging several belief b ases in the presence of integrity constraints and proposes a logical… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The Concurrent Logical Framework, or CLF, is a new logical framework in which concurrent computations can be represented as… (More)
Is this relevant?
Highly Cited
1997
Highly Cited
1997
A mi madre, Fuensanta Guaita de Meseguer, con todo cari~ no en su 85 cumplea~ nos Abstract. This paper proposes membership… (More)
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… (More)
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… (More)
Is this relevant?
Highly Cited
1988
Highly Cited
1988
This paper presents a simple logical framework for default reasoning. The semantics is normal first order model theory; instead… (More)
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The Edinburgh Logical Framework (LF) provides a means to define (or present) logics. It is based on a general treatment of syntax… (More)
Is this relevant?