Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
Logic
2025-08-15 v2 Logic in Computer Science
Abstract
We provide a rough sets semantics for the three-valued extension of first-order Priest's da Costa logic, which we studied in [Castiglioni, J.L. and Ertola-Biraben, R.C. Modalities combining two negations. {\em Journal of Logic and Computation} 11:341--356, 2024]. This semantics follows the usual pattern of the semantics for first-order classical logic.
Cite
@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}
}
Comments
It's still a draft version, but much better than version 1. All comments are welcome