摘要：一种容纳真值矛盾和真值缺失的自由逻辑变种简介
作者：Libor Behounek, Martina Dankova, Antonin Dvorak
论文ID：2306.13079
分类：Logic
分类简称：math.LO
提交时间：2023-08-29
PDF 下载： 英文版 中文版pdf翻译中