Multiplicative logic in arithmetic
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Preprint |
| Publié: |
2024
|
| Sujets: | |
| Accès en ligne: | |
| Tags: |
Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
|
| _version_ | 1866913373224960000 |
|---|---|
| author | Zhuravlov, Volodymyr |
| author_facet | Zhuravlov, Volodymyr |
| contents | The article explores the arithmetic of multiplication as a model of many valued projective logic. It is demonstrated that closed numerical intervals within this framework constitute Heyting algebras. The conditions for these algebras to be Boolean are identified. The article claims have undergone numerical verification. Paths for generalization to normed linear spaces are delineated. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2406_00058 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Multiplicative logic in arithmetic Zhuravlov, Volodymyr Logic 03B50, 03B60 The article explores the arithmetic of multiplication as a model of many valued projective logic. It is demonstrated that closed numerical intervals within this framework constitute Heyting algebras. The conditions for these algebras to be Boolean are identified. The article claims have undergone numerical verification. Paths for generalization to normed linear spaces are delineated. |
| title | Multiplicative logic in arithmetic |
| topic | Logic 03B50, 03B60 |
| url | https://arxiv.org/abs/2406.00058 |