  We develop a Galois theory of commutative rings under actions of finite
inverse semigroups. We present equivalences for the definition of Galois
extension as well as a Galois correspondence theorem. We also show how the
theory behaves in the case of inverse semigroups with zero.
