Soft Computing, cilt.26, sa.18, ss.8997-9010, 2022 (SCI-Expanded)
© 2022, The Author(s), under exclusive licence to Springer-Verlag GmbH Germany, part of Springer Nature.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.