Functional Derivations and Complex Logics