Have a look at Google https://www.google.gr/search?q=derivations%2C+in+prime+and+semiprime+rings&oq=derivations%2C+in+prime+and+semiprime+rings&aqs=chrome..69i57.13213j0j7&sourceid=chrome&espv=210&es_sm=119&ie=UTF-8#q=derivations,+in+prime+and+semiprime+rings&start=10
On the other hand Antonio Di Nola has some theory of semirings applied to MV-algebras.
see https://www.researchgate.net/profile/Antonio_Nola/contributions/?ev=brs_act
Following up on what @Shervin Sahebi observed, see the proof of Theorem 1, page 13.
An important application of prime rings is in the study of noncommtative projective curves. See
J.T. Stafford, M. Van Den Bergh, Noncommutative rings and noncommutative surfaces, Bulletin Amer. Math. Soc. 00, 2000, arXiv: math/9910082v2 [math.RA]: