I aim to convey a big picture about an infrastructure for
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
in a technical report,
Identifiers and Textual Reference.
FDL Project website