D2 的无析取片段为三值
计算机科学中的逻辑
2025-01-03 v1
摘要
本文证明了J\'askowski的讨论式逻辑D2在经典逻辑语言中的无析取片段，相对于三值和四值语义完备。作为副产品，我们获得了D2无析取片段的一个相当简单的公理化。也讨论了本结果的一些含义。
引用
@article{arxiv.2501.00501,
title = {The Disjunction-Free Fragment of D2 is Three-Valued},
author = {Hitoshi Omori},
journal= {arXiv preprint arXiv:2501.00501},
year = {2025}
}
备注
In Proceedings NCL'24, arXiv:2412.20053