Topological semantics for a non-self-extensional LFI

In this article, we have introduced a Logic of Formal Inconsistency (LFI) that we call $\text{vd}$. This logic is non-self-extensional, i.e., the replacement property, or the rule for substitution of equivalents, does not hold. A Hilbert-style presentation for the logic has been provided. Then, a topological semantics for $\text{vd}$ has been described, subsequent to which we have established the Soundness and Completeness results for it with respect to this semantics.