Soft partial metric spaces

Abstract

This paper is an introduction to soft partial metric spaces. The aim is to create a soft topological model for a programming language described as a soft logic system, like in classical partial metric studies. Since the soft metric spaces have Hausdorff properties, they are not useful in examining non-Hausdorff soft topologies. This paper proposes a generalized soft metric for non-Hausdorff soft topologies and a new approach that guides how to expand soft metric implements like the Banach theorem to such topologies.