Two-layered logics for paraconsistent probabilities

Autor:	Bilkova, Marta, Frittella, Sabine, Kozhemiachenko, Daniil, Majer, Ondrej
Rok vydání:	2023
Předmět:	Mathematics - Logic
Druh dokumentu:	Working Paper
DOI:	10.1007/978-3-031-39784-4_7
Popis:	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.
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/2303.04565 Zobrazit plný text záznamu View this record from Arxiv