用于次协调概率的两层逻辑
Two-layered logics for paraconsistent probabilities
AI总结：
本文提出两种两层逻辑，结合Lukasiewicz逻辑、Baaz算子和Belnap-Dunn逻辑，形式化次协调概率推理。
摘要：
我们讨论了两种两层逻辑，它们形式化了对次协调概率的推理，将Lukasiewicz $[0,1]$-值逻辑与Baaz $\triangle$算子以及Belnap--Dunn逻辑相结合。
英文摘要：
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
