Dual and symmetric combinatory logics