-
逻辑浏览器
- 1条引用[sw06603]
- Maple软件包许多的-宝贵的命题的逻辑学像大代数系统。。。与许多的-宝贵的 逻辑学我们相信一个灵活的。。。在任何现有或拟建的许多的-宝贵的 逻辑任何关于真相的记号。。。
-
副稠度
- 1条引用[sw28572]
- 来自一个不一致的理论。次一致的逻辑避免爆炸。相当多的应用程序。。。斯普林格2016)。我们形式化了一个次一致许多的-宝贵的 逻辑我们的动机和描述。。。
-
康涅普
- 参考第2条[sw06723]
- 分析是表示符合逻辑的数据集的含义,分析地下。。。关系可以看作是许多的-宝贵的上下文。{it J.Hereth}在[选择]。笔记。。。