An extended framework for operator selection in generalized modus ponens
Kudret Demirli · 2002
A unified and generalized framework to operator selection in GMP is presented. As an outcome of this study, we can now identify a compatible set of composition operators for a given implication function or a compatible set of implication functions for a given composition operator. Furthermore, the suggested procedure is capable of incorporating new operators into GMP.