May, 2023

非扁平 ABA 是二极心论的一个实例

TL;DR本文提出了一种双极 AF 语义,借鉴了推理支持的概念,用于实例化 general ABAFs 概念,并证明了在此概念下具有所需的关系。