Two-layered logics for paraconsistent probabilities
Marta Bilkova, Sabine Frittella, Daniil Kozhemiachenko and, Ondrej Majer
TL;DR
This paper introduces two two-layered logical frameworks that integrate paraconsistent probability reasoning with Lukasiewicz and Belnap--Dunn logics, aiming to handle inconsistent information effectively.
Contribution
It presents novel two-layered logical systems combining paraconsistent probabilities with Lukasiewicz and Belnap--Dunn logics, expanding formal reasoning capabilities.
Findings
Formalization of two-layered logics for paraconsistent probabilities
Integration of Lukasiewicz logic with Baaz $ riangle$ operator
Combination of Belnap--Dunn logic with probabilistic reasoning
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Advanced Algebra and Logic · Bayesian Modeling and Causal Inference