2025/11/06 by Esha Jain, Jain, Esha, Sankha S. Basu +1
Computer Science · #03B50 #03B53 #03B60 #Advanced Algebra and Logic #FOS: Mathematics #Logic (math.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems
paper · pdf · doi:10.48550/arxiv.2511.04116
openalex publication_date 2025/11/06 · openalex created_date 2025/11/08 · openalex updated_date 2026/07/28
In this article, we have introduced a Logic of Formal Inconsistency (LFI) that we call \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 \vd has been described, subsequent to which we have established the Soundness and Completeness results for it with respect to this semantics.