collaborators

6 papers

math.LO2024

Uniform terms and local elements

Volodymyr Zhuravlov

The article explores function terms within uniform theories. It examines the uniformity of these theories through an algebraic lens. The paper compares the uniformity of terms and…

math.LO2024

Multiplicative logic in arithmetic

Volodymyr Zhuravlov

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 constitut…

math.GR2024

Associative ideals in monoids

Volodymyr Zhuravlov

The article investigates the properties of associative ideals in monoids. Such ideals have some applications in the logic of non-standard sequences and category theory. The relatio…

math.LO2024

Nonclassical logics and multivariate truth values

Volodymyr M. Zhuravlov

The article demonstrates that logic is not necessarily singleton and does not always have the standard interpretation of negation. Appropriate generalizations of logic are suggeste…

math.CT2023

Predicates and terms from non-standard sequences

V. M. Zhuravlov

The article proposes a method for constructing non-standard theories based on terms from partially existing sequences of elements. The method is illustrated by the example of the t…

math.LO2023

Uniformity_and_nonuniformity

V. M. Zhuravlov

The article introduces the concept of uniformity, which is formulated as a scheme of axioms. The connection of this concept with ordered sets is studied. The effectiveness of using…