Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | , |
|---|---|
| Format: | Preprint |
| Publié: |
2025
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866918124726517760 |
|---|---|
| author | Castiglioni, José Luis Ertola-Biraben, Rodolfo C. |
| author_facet | Castiglioni, José Luis Ertola-Biraben, Rodolfo C. |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2505_09302 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic Castiglioni, José Luis Ertola-Biraben, Rodolfo C. Logic Logic in Computer Science 03G10, 03E72, F.4.1 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. |
| title | Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic |
| topic | Logic Logic in Computer Science 03G10, 03E72, F.4.1 |
| url | https://arxiv.org/abs/2505.09302 |