摘要：用两种双层逻辑形式化处理与抗矛盾概率推理相关的问题，其中包括将Lukasiewicz $[0,1]$-valued逻辑与Baaz 三角形算子和Belnap-Dunn逻辑相结合的部分。
作者：Marta Bilkova and Sabine Frittella and Daniil Kozhemiachenko and Ondrej Majer
论文ID：2303.04565
分类：Logic
分类简称：math.LO
提交时间：2023-09-01
PDF 下载： 英文版 中文版pdf翻译中