LogoTver State University Repository

Табличные уноиды, удовлетворяющие условиям Ужичина

Дадеркин, Д.О. (2021) Табличные уноиды, удовлетворяющие условиям Ужичина. Вестник ТвГУ. Серия: Прикладная математика (1). pp. 59-70. ISSN 1995-0136

[img] PDF - Published Version
396kB

Abstract

В работах П. Ужичина [1-3] были предложены достаточные условия табличности уноидов, однако эти алгебраические условия Ужичина трудно проверяемы на практике и не дают возможности строить нетривиальные примеры табличных уноидов. В данной работе вводятся понятия локально-заданных и разделённых уноидов и доказывается, что разделённые уноиды удовлетворяют условиям Ужичина. Таким образом, получены просто проверяемые достаточные условия, при выполнении которых уноид, в том числе и с достаточно сложно заданным связным множеством, является табличным

Abstract (en)

In the works of P. Urzyczyn [1-3] were suggested sufficient conditions of truth-table property of unoids, however, these algebraic conditions of Urzyczyn are difficult to be checked in practice and leave no possibilities to build non-trivial examples of truth-table unoids. In this work concepts of locallygiven and divided unoids are proposed, and it is proved that divided unoids satisfy the conditions of Urzyczyn. Thus, simply verifiable sufficient conditions are achieved, on the basis of which unoid, including with enough complicated specified connected underlying set, is truth-table

Item Type:Article
Additional Information:1. Дадеркин Дмитрий Ольгердович доцент кафедры информатики Тверского государственного университета.
Uncontrolled Keywords:алгебраическая система, алгебра, уноид, свойство табличности, динамические логики, терм
Keywords (en):algebraic system, algebra, unoid, truth-table property, dynamic logics, term
Subjects:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика
Divisions:Университеты > TverSU
ID Code:10545
Deposited By: С.Б. Федорова
Deposited On:20 May 2021 08:34
Last Modified:20 May 2021 08:34

Repository Staff Only: item control page