Remarks on the FDL (Formal Digital Library) Project
by Stuart F. Allen
I aim to convey a big picture about an infrastructure for
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.