Multiplicative logic in arithmetic

Autor: Zhuravlov, Volodymyr
Rok vydání: 2024
Předmět:
Druh dokumentu: Working Paper
Popis: 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.
Databáze: arXiv