The theory behind LogFun, as well as the formal description of the main logic functors is available in a research report:
S. Ferré, O. Ridoux. Logic Functors: A Toolbox of Components for Building Customized and Embeddable Logics.
of the report is also available.
Last modification: March 2, 2006