Topological semantics for a non-self-extensional LFI
Logic
2025-11-07 v1
Abstract
In this article, we have introduced a Logic of Formal Inconsistency (LFI) that we call . 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 has been described, subsequent to which we have established the Soundness and Completeness results for it with respect to this semantics.
Keywords
Cite
@article{arxiv.2511.04116,
title = {Topological semantics for a non-self-extensional LFI},
author = {Esha Jain and Sankha S. Basu},
journal= {arXiv preprint arXiv:2511.04116},
year = {2025}
}
Comments
25 pages. The final version of the article has been submitted for publication in a journal