Nataliia Sachaniuk-Kavets’ka

Vinnytsia National Technical University

21000, 95 Khmelnytske Shosse., Vinnytsia, Ukraine

sachanyuk@vntu.edu.ua

Mathematical description of logic-time functions of multiple-valued logic and some operations over them

24.03.2022

Nataliia Sachaniuk-Kavets’ka*, Olena Prozor

sachanyuk@vntu.edu.ua

  • Keywords logical-temporal function of multiple-valued logic, productive word, index form, time-ordering operator
  • DOI https://doi.org/10.31649/1999-9941-2022-53-1-111-118

Mathematical description of the inequality operation in a logic-time environment

25.07.2022

Nataliia Sachaniuk-Kavets’ka*, Olena Prozor, Victor Khomyuk, Irina Bondarenko

sachanyuk@vntu.edu.ua

  • Keywords logic-time function of multivalued logic, inequality, sum by module 2, liveliness, differential
  • DOI https://doi.org/10.31649/1999-9941-2022-54-2-124-130

Mathematical description of the differentiation operation in the logical-time environment

25.07.2023

Nataliia Sachaniuk-Kavets’ka*, Olena Prozor, Victor Khomyuk, Ruslan Shevchuk

sachanyuk@vntu.edu.ua

  • Keywords logical-temporal function of multivalued logic, index form, derivative, peculiarities of the derivative, derivative of the n-th order
  • DOI https://doi.org/10.31649/1999-9941-2023-57-2-93-98