Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
arXiv:2505.09302
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.
It's still a draft version, but much better than version 1. All comments are welcome