Two-layered logics for paraconsistent probabilities
Logic
2023-09-01 v1
Abstract
We discuss two two-layered logics formalising reasoning with paraconsistent probabilities that combine the Lukasiewicz -valued logic with Baaz operator and the Belnap--Dunn logic.
Cite
@article{arxiv.2303.04565,
title = {Two-layered logics for paraconsistent probabilities},
author = {Marta Bilkova and Sabine Frittella and Daniil Kozhemiachenko and Ondrej Majer},
journal= {arXiv preprint arXiv:2303.04565},
year = {2023}
}