RUS  ENG
Full version
JOURNALS // Vestnik TVGU. Seriya: Prikladnaya Matematika [Herald of Tver State University. Series: Applied Mathematics] // Archive

Vestnik TVGU. Ser. Prikl. Matem. [Herald of Tver State University. Ser. Appl. Math.], 2021 Issue 3, Pages 33–43 (Mi vtpmk621)

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.

UDC: 510.6

Received: 07.08.2021
Revised: 04.10.2021
Accepted: 27.10.2021

DOI: 10.26456/vtpmk621



Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024