波赫瓦尔代数的结构
摘要：Bochvar代数对应于拟变元BCA，是Bochvar在(弱)Kleene逻辑领域引入的(外部)逻辑形式的等价代数语义。本文对Bochvar代数的结构进行了代数研究。特别地，我们通过Plonka和来证明了一个表示定理，并研究了子拟变量的格结构，证明Bochvar(外部)逻辑除了经典逻辑外只有一个适当的扩展，由BCA的子拟变量NBCA代数化。最后，我们证明了BCA和NBCA都具有合并性质(AP)。
作者：Stefano Bonzio, Michele Pra Baldi
论文ID：2305.05457
分类：Logic
分类简称：math.LO
提交时间：2023-05-10