Topological semantics for a non-self-extensional LFI
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.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.