The "speculative logic" project, administered by Uwe Petersen, is an
initiative of the "Centre for the Development of Speculative Logic" within the ASFPG. The project
divides into many separate small projects of extremely technical character for which collaborators
are still needed.