Séminaire mOeX - Sabine Frittella

Abstract 

First, we introduce Belnap Dunn logic, a paracomplete and paraconsistent propositional logic, weaker than classical proposition logic and that allows to reason about incomplete and contradictory information. Then, we discuss paraconsistent (imprecise) probabilities over Belnap Dunn logic, discuss their interpretation and compare them to classical probabilities. 

https://moex.inria.fr/seminars/2025frittella.html