论文标题
分区逻辑中的否定和含义
Negation and Implication in Partition Logic
论文作者
论文摘要
通常以“命题逻辑”表示的子集的布尔逻辑被认为是“经典”，而直觉逻辑和许多soblogics和ofthoots则是“非古典”。但是，还有另一种数学逻辑，即分区的逻辑，它与布尔子集逻辑的数学级别相同，因为子集和商集（分区或等价关系）在类别理论意义上是双重双重的。我们的目的是探讨分区其他数学逻辑中的否定和含义的概念。
The Boolean logic of subsets, usually presented as `propositional logic,' is considered as being "classical" while intuitionistic logic and the many sublogics and off-shoots are "non-classical." But there is another mathematical logic, the logic of partitions, that is at the same mathmatical level as Boolean subset logic since subsets and quotient sets (partitions or equivalence relations) are dual to one another in the category-theoretic sense. Our purpose here is to explore the notions of negation and implication in that other mathematical logic of partitions.
