| About |
| Downloads |
| Documentation |
| FAQ |
| Contacts |
LOGFUN
Documentation
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.
An older version of the
report is also available.