Paraconsistent and paracomplete probabilities: Measuring reliable and unreliable beliefs
In this paper, we introduce the study of probability functions based on the 6-valued paradefinite (i.e., paraconsistent and paracomplete) logic LETK+. This logic is a powerful and versatile Logic of Evidence and Truth (LET) which is a conservative expansion of both classical logic and FDE. The framework introduced here...