  In the first section of the present work, we introduce the concept of
pseudocomplementation for semirings and show semiring version of some known
results in lattice theory. We also introduce semirings with pc-functions and
prove some interesting results for minimal prime ideals of such semirings. In
the second section, some classical results for minimal prime ideals in ring
theory are generalized in the context of semiring theory.
