Turning the Liar paradox into a metatheorem of Basic logic
| dc.creator | Zizzi, Paola A. | |
| dc.date | 2007-01-23 | |
| dc.date | 2007-03-28 | |
| dc.date.accessioned | 2026-07-07T07:54:11Z | |
| dc.date.available | 2026-07-07T07:54:11Z | |
| dc.description | We show that self-reference can be formalized in Basic logic by means of the new connective @, called "entanglement". In fact, the property of non-idempotence of the connective @ is a metatheorem, which states that a self-entangled sentence loses its own identity. This prevents having self-referential paradoxes in the corresponding metalanguage. In this context, we introduce a generalized definition of self-reference, which is needed to deal with the multiplicative connectives of substructural logics. | |
| dc.description | 12 pages, 1 figure, submitted to CIE 2007. The subject of Section 4, formerly devoted to the conclusions, has been changed, and is about a generalized version of self-reference | |
| dc.identifier | https://arxiv.org/abs/quant-ph/0701171 | |
| dc.identifier | http://arxiv.org/abs/quant-ph/0701171 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/126508 | |
| dc.subject | Quantum Physics | |
| dc.subject | Logic in Computer Science | |
| dc.subject | Logic | |
| dc.title | Turning the Liar paradox into a metatheorem of Basic logic | |
| dc.type | text |