Negation and Identity in a Modal Mode Theory
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2023
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866910287063416832 |
|---|---|
| author | Afanador, Juan |
| author_facet | Afanador, Juan |
| contents | This piece threads substructurality and modality into a negation that activates the downside of equivalence and identity in a fibrational framework. The piece is a working through of negation and contradiction as type-theoretic/categorial objects, towards an immanent critique of the subtending univalent paradigm. Although this is not the terminus of the piece, i wish to try and delineate the epistemic and intra-mundane problematics intertwined therewith. The piece's terminus is a mode theory of an intuitionistic modal logic that internalises a restriction on the Double Negation Elimination rule. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2401_01893 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | Negation and Identity in a Modal Mode Theory Afanador, Juan Logic in Computer Science This piece threads substructurality and modality into a negation that activates the downside of equivalence and identity in a fibrational framework. The piece is a working through of negation and contradiction as type-theoretic/categorial objects, towards an immanent critique of the subtending univalent paradigm. Although this is not the terminus of the piece, i wish to try and delineate the epistemic and intra-mundane problematics intertwined therewith. The piece's terminus is a mode theory of an intuitionistic modal logic that internalises a restriction on the Double Negation Elimination rule. |
| title | Negation and Identity in a Modal Mode Theory |
| topic | Logic in Computer Science |
| url | https://arxiv.org/abs/2401.01893 |