Questions tagged [meta-logical-framework]

Meta-language for reasoning about deductive systems. (by Frank Pfenning)

Filter by
Sorted by
Tagged with
8 votes
1 answer

How does a logical framework become a meta-logical framework?

In a recent answer, Isabelle was noted as a Logical Framework. A comment noted it was a Meta-Logical Framework. In researching for an understanding found "Logical and Meta-Logical Frameworks"...
Guy Coder's user avatar
  • 2,836