Pseudocomplementation and minimal prime ideals in semirings

In Section 2 of the present paper, we introduce the concept of pseudocomplementation for semirings and show the 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 Section 3, some classical results for minimal prime ideals in ring theory are generalized in the context of semiring theory.