Some implication operators on bounded lattices | Synapse