一阶 Priest da Costa 逻辑三值扩展的粗糙集语义
逻辑
2025-08-15 v2 计算机科学中的逻辑
摘要
我们为一阶 Priest da Costa 逻辑的三值扩展提供了粗糙集语义，该逻辑我们在 [Castiglioni, J.L. and Ertola-Biraben, R.C. Modalities combining two negations. {\em Journal of Logic and Computation} 11:341--356, 2024] 中曾进行研究。该语义遵循一阶经典逻辑语义的通常模式。
引用
@article{arxiv.2505.09302,
title = {Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic},
author = {José Luis Castiglioni and Rodolfo C. Ertola-Biraben},
journal= {arXiv preprint arXiv:2505.09302},
year = {2025}
}
备注
It's still a draft version, but much better than version 1. All comments are welcome