2 papers
math.LO2025
Topological semantics for a non-self-extensional LFI
Esha Jain, Sankha S. Basu
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 su…
math.LO2025
Paracomplete Probabilities
Sankha S. Basu, Esha Jain
This paper presents an advance in the direction of working with probabilities in a paracomplete setting using Logics of Formal Undeterminedness (LFUs). The undeterminedness is inte…