2000 character limit reached
Two-layered logics for paraconsistent probabilities (2303.04565v1)
Published 8 Mar 2023 in math.LO
Abstract: We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz $[0,1]$-valued logic with Baaz $\triangle$ operator and the Belnap--Dunn logic.