Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
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. Journal of Logic and Computation 11:341--356, 2024]. This semantics follows the usual pattern of the semantics for first-order classical logic.
0
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.