Two-layered logics for paraconsistent probabilities

DOI10.1007/978-3-031-39784-4_7arXiv2303.04565OpenAlexW4386208130MaRDI QIDQ6118682

Sabine Frittella, Ondrej Majer, Marta Bílková, Daniil Kozhemiachenko

Publication date: 28 February 2024

Published in: Logic, Language, Information, and Computation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.04565

zbMATH Keywords

Łukasiewicz logicparaconsistent logicsconstraint tableauxnon-standard probabilitiestwo-layered logics

Mathematics Subject Classification ID

Logic in computer science (03B70)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Qualitative probability as an intensional logic
• Metamathematics of fuzzy logic
• 40 years of FDE: an introductory overview
• Intuitive semantics for first-degree entailments and `coupled trees'
• A logic for reasoning about probabilities
• Many-valued logic and mixed integer programming
• Contradictory information: too much of a good thing
• Belief based on inconsistent information
• An epistemic probabilistic logic with conditional probabilities
• Constraint tableaux for two-dimensional fuzzy logics
• Probabilities with gaps and gluts
• The logic of qualitative probability
• How a Computer Should Think
• On Ignorance and Contradiction Considered as Truth-Values
• Measuring evidence: a probabilistic approach to an extension of Belnap-Dunn logic
• Qualitative reasoning in a two-layered framework

This page was built for publication: Two-layered logics for paraconsistent probabilities