Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
Jos\'e Luis Castiglioni, Rodolfo C. Ertola-Biraben
TL;DR
This paper develops a rough sets semantics for a three-valued extension of first-order Priest's da Costa logic, aligning it with classical logic semantics to enhance understanding of its logical structure.
Contribution
It introduces a novel rough sets semantics for the three-valued extension of Priest's da Costa logic, bridging non-classical logic with rough set theory.
Findings
Semantics consistent with classical logic patterns
Extension of rough sets to three-valued logic
Framework for analyzing non-classical logics
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.