|
Theoretical Foundations of Computer Science
Truth-table unoids not satisfying the Urzyczyn's conditions
D. O. Daderkin Tver State University, Tver
Abstract:
Sufficient conditions of truth-table property, one of the important properties that characterize the work of a program in an algebraic system, were proposed in the works of P. Urzyczyn [1-3]. In this work such sufficient conditions of truth-table property are described, that allow constructing truth-table unoids that not satisfy the conditions of Urzyczyn.
Keywords:
algebraic system, algebra, unoid, truth-table property, dynamic logics, term.
Received: 07.08.2021 Revised: 04.10.2021 Accepted: 27.10.2021
Citation:
D. O. Daderkin, “Truth-table unoids not satisfying the Urzyczyn's conditions”, Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2021, no. 3, 33–43
Linking options:
https://www.mathnet.ru/eng/vtpmk621 https://www.mathnet.ru/eng/vtpmk/y2021/i3/p33
|
Statistics & downloads: |
Abstract page: | 153 | Full-text PDF : | 62 | References: | 26 |
|