组合逻辑的模块多值语义
通过对部分非确定性逻辑矩阵进行适当的普适运算,首次获得了组合逻辑的模块多值语义,该语义直接由组合逻辑的多值语义构建而成。 品种逻辑
本文首先对如何将逻辑与给定的各种代数相关联的问题进行了一般性分析,并表明它对…
论逻辑的范畴组合
本文在范畴理论的框架内,对命题逻辑系统的原纤维化提出了一个推广。具体来说,我们通过…
无共享连接词的虚逻辑的保守性*
本文首次对虚逻辑的保守性进行了完整的刻画,在被组合的逻辑不共享连接词的特殊情况下,并利用这个结果表明虚逻辑不能保持有限值。 超序列结石及其纤维化的形式化框架
本文通过在对象语言中为公式、序列和超序列引入元变量,提出了一种制定超序列演算的替代方法,并引入了一个新的逻辑之间的翻译概念,该概念在很大意义上保留了元属性。 通用逻辑选集前言
这本书是对20世纪普遍逻辑的回顾。它以普遍逻辑的精神收集1922年至1996年的论文和书籍摘要。这15项中的每一项都由…