这个问题

本期上一篇文章

本期下一篇文章

文件详细信息： 标题：三值逻辑的两种（二进制）克里普克式语义 作者：杨恩斯克 日志：逻辑与分析 体积： 231  日期：2015    页：377-394 内政部：10.2143/LEA.231.0.3141816 摘要： 本文研究了三值逻辑的两类二元克里普克式语义，即代数语义和非代数语义。我们首先介绍三个系统，它们对应的代数结构，以及相关的代数完备性结果。接下来，我们将介绍各种类型的代数和非代数二元关系Kripke式语义。

下载文章