CFL-package             Compensatory Fuzzy Logic
ldc.conj                ldc.conj
ldc.disj                ldc.disj
ldc.exist               ldc.exist
ldc.forall              ldc.forall
sigmoidal               sigmoidal membership functions
