| dc.creator | Barrio, Eduardo Alejandro | |
| dc.creator | Pailos, Federico Matias | |
| dc.creator | Szmuc, Damián Enrique | |
| dc.date.accessioned | 2019-03-29T18:10:53Z | |
| dc.date.accessioned | 2022-10-15T09:17:24Z | |
| dc.date.available | 2019-03-29T18:10:53Z | |
| dc.date.available | 2022-10-15T09:17:24Z | |
| dc.date.created | 2019-03-29T18:10:53Z | |
| dc.date.issued | 2017-08 | |
| dc.identifier | Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damián Enrique; A paraconsistent route to semantic closure; Oxford University Press; Logic Journal of the IGPL (print); 25; 4; 8-2017; 387-407 | |
| dc.identifier | 1367-0751 | |
| dc.identifier | http://hdl.handle.net/11336/72852 | |
| dc.identifier | CONICET Digital | |
| dc.identifier | CONICET | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4369448 | |
| dc.description.abstract | In this article, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and complete three-sided sequent calculus for this expressively rich theory. | |
| dc.language | eng | |
| dc.publisher | Oxford University Press | |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/jigpal/jzx009 | |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/25/4/387/3891483 | |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | |
| dc.rights | info:eu-repo/semantics/restrictedAccess | |
| dc.subject | PARACONSISTENCY | |
| dc.subject | PARADOXES | |
| dc.subject | SELF-REFERENCE | |
| dc.subject | SEMANTIC CLOSURE | |
| dc.subject | TRUTH | |
| dc.title | A paraconsistent route to semantic closure | |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:ar-repo/semantics/artículo | |
| dc.type | info:eu-repo/semantics/publishedVersion | |
