Two-layered logics for paraconsistent probabilities

Abstract

We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $△$ operator and the Belnap--Dunn logic.

References in corpus (2)

• Qualitative reasoning in a two-layered framework
• Reasoning with belief functions over Belnap--Dunn logic

Cited by in corpus (1)

• Two-layered logics for probabilities and belief functions over Belnap--Dunn logic