Suggests a distributed operator logic based on evidence, which follows from the concept of relation number in the SPA, and discuss its properties.
根据SPA中联系数的概念,提出了一个基于证据的分布算子逻辑,并讨论了其性质。
Suggests a distributed operator logic based on evidence, which follows from the concept of relation number in the SPA, and discuss its properties.
根据SPA中联系数的概念,提出了一个基于证据的分布算子逻辑,并讨论了其性质。
应用推荐