论 Bochvar 代数的结构
逻辑
2024-06-05 v2
摘要
Bochvar 代数由拟簇 BCA 组成，该拟簇作为 Bochvar（外部）逻辑的等价代数语义，而 Bochvar（外部）逻辑是 Bochvar 在（弱）Kleene 逻辑领域内引入的一种逻辑形式体系。本文对 Bochvar 代数的结构进行了代数研究。特别地，我们证明了基于 Plonka 和的表示定理，并研究了子拟簇的格，表明 Bochvar（外部）逻辑除经典逻辑外只有一个真扩张，由 BCA 的子拟簇 NBCA 代数化。最后，我们证明 BCA 与 NBCA 均满足融合性质（AP）。
引用
@article{arxiv.2305.05457,
title = {On the structure of Bochvar algebras},
author = {Stefano Bonzio and Michele Pra Baldi},
journal= {arXiv preprint arXiv:2305.05457},
year = {2024}
}
备注
Revised version