|
Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)
Расширения оператора позитивного замыкания с помощью логических связок
С. С. Марченков Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 1, 119991 Москва, Россия
Аннотация:
Оператор позитивного замыкания определяется на основе логических формул, содержащих логические связки $\vee,\&$ и квантор $\exists$. Рассматриваются расширения оператора позитивного замыкания с помощью произвольных логических связок (не только бинарных). Устанавливается, что всякое собственное расширение оператора позитивного замыкания с помощью логических связок даёт либо оператор с полной системой логических связок, либо оператор импликативного замыкания (расширение с помощью связки импликации). Для оператора импликативного замыкания получено описание всех замкнутых классов в терминах полугрупп эндоморфизмов. Библиогр. 11.
Ключевые слова:
оператор позитивного замыкания, оператор параметрического замыкания.
Статья поступила: 22.12.2017 Переработанный вариант: 14.05.2018
Образец цитирования:
С. С. Марченков, “Расширения оператора позитивного замыкания с помощью логических связок”, Дискретн. анализ и исслед. опер., 25:4 (2018), 46–58; J. Appl. Industr. Math., 12:4 (2018), 678–683
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da908 https://www.mathnet.ru/rus/da/v25/i4/p46
|
|