Skip to main content
PRL Project

Remarks on the FDL (Formal Digital Library) Project

by Stuart F. Allen

I aim to convey a big picture about an infrastructure for maintaining digitally articulated
knowledge, as opposed to information, and about how we might proceed in encouraging it.

Our special concern is accounting for knowledge established
by diverse Computer Supported Logic Systems.

The main topics addressed will be:

  • Abstracting from diverse Applied Logics and the need for Archival Methods.
  • Certificate Systems - a technical basis for Archival Methods appropriate for
    Computer Supported Logic.
  • FDLs as Text Servers and Certificate Systems
  • The importance of Multiple FDLs and Multiple Implementations.

These ideas are elaborated in extensive on-line Working Notes and
in a technical report, Abstract Identifiers and Textual Reference.

FDL Project website