2025/07/06 by Basu, Sankha S., Jain, Esha · 2 citations
#03B60 #60A99 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2507.04312
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 interpreted here as missing evidence. A theorem of total paracomplete probability and a paracomplete Bayes' rule have been proved using this setup. We end with a definition of a paracomplete probability space illustrating a way to define probabilities on sets in the presence of undeterminedness.