Buchumschlag

Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства

Terminated proof procedures in axiomatic extensions of sequent calculi for propositional finitely valued logics with equality determinant are proposed on the basis of logic programming.

Gespeichert in:

Bibliographische Detailangaben
Datum:	2007
1. Verfasser:	Пынько, А.П.
Format:	Artikel
Sprache:	Russisch
Veröffentlicht:	Видавничий дім "Академперіодика" НАН України 2007
Schlagworte:	Інформатика та кібернетика
Online Zugang:	https://nasplib.isofts.kiev.ua/handle/123456789/1660
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Digital Library of Periodicals of National Academy of Sciences of Ukraine
Zitieren:	Процедуры вывода в секвенциальных исчислениях для конечнозначных логик с определителем равенства / А.П. Пынько // Доп. НАН України. — 2007. — N 3. — С. 45-51. — Библиогр.: 1 назв. — рус.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine

Ähnliche Einträge

Оптимизация секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2011)

Производные правила секвенциальных исчислений для конечнозначных логик с определителем равенства
von: Пынько, А.П.
Veröffentlicht: (2008)

Некоторые равенства в табличных алгебрах
von: Редько, В.Н., et al.
Veröffentlicht: (2014)

Нечеткие спецификации логического вывода в системе Гомеопат
von: Провотар, А.А., et al.
Veröffentlicht: (2012)

Сложность байесовской процедуры индуктивного вывода. Дискретный случай
von: Белецкий, Б.А., et al.
Veröffentlicht: (2006)

Алгоритмы вывода решений на основе унифицированных логических моделей управления
von: Литвиненко, А.Е.
Veröffentlicht: (2020)

Минимизация КНФ частично-монотонных булевых функций
von: Пынько, А.П.
Veröffentlicht: (2017)

Решение некоторых обратных задач теплопроводности для составной пластины с использованием псевдообратных матриц
von: Сергиенко, И.В., et al.
Veröffentlicht: (2011)

Минимаксное оценивание решения краевой задачи для уравнений линейной теории упругости с граничными условиями типа Неймана
von: Наконечный, А.Г., et al.
Veröffentlicht: (2010)

Грід-технологія для завдань метрології
von: Ляшко, С.І., et al.
Veröffentlicht: (2013)

Лингвистическое представление графов с помеченными вершинами
von: Сапунов, С.В., et al.
Veröffentlicht: (2019)

Об оптимизационных задачах с вероятностной неопределенностью
von: Емец, О.А., et al.
Veröffentlicht: (2014)

Гарантированное время преследования для стратегии параллельного сближения
von: Пашко, С.В.
Veröffentlicht: (2014)

Искусственная нейронная сеть для нелинейной декомпозиции функций
von: Бодянский, Е.В., et al.
Veröffentlicht: (2009)

Оценки сложности экспериментов с блоками управляемых перестановок
von: Скобелев, В.Г.
Veröffentlicht: (2011)

Об одной стохастической системе с импульсными воздействиями
von: Власенко, Л.А., et al.
Veröffentlicht: (2012)

Нелокальне рівняння теплопровідності для багатофазних стохастично неоднорідних тіл
von: Чапля, Є.Я., et al.
Veröffentlicht: (2007)

Альтернуючий проксимальний алгоритм для задачі дворівневої опуклої мінімізації
von: Войтова, Т.А., et al.
Veröffentlicht: (2012)

К моделированию системы принятия решения для необайесовских задач
von: Михалевич, В.М.
Veröffentlicht: (2011)

О сравнительном анализе дифференцирующих звеньев с эмиттерными повторителями
von: Божко, А.Е.
Veröffentlicht: (2008)

Моделирование одного класса сложных систем с нечетким управлением
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

Дифференциальные игры с интегральными ограничениями и импульсными управлениями
von: Белоусов, А.А.
Veröffentlicht: (2013)

Моделирование сложных теплофизических систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

О дифференциальных играх с геометрическими и интегральными ограничениями
von: Белоусов, А.А.
Veröffentlicht: (2014)

Управление системами с дробными производными в условиях конфликта
von: Матичин, И.И.
Veröffentlicht: (2011)

Моделювання квазіідеальних полів для тонких просторово викривлених анізотропних пластів
von: Бомба, А.Я., et al.
Veröffentlicht: (2011)

Квази-phi-функции для математического моделирования отношений геометрических объектов
von: Стоян, Ю.Г., et al.
Veröffentlicht: (2014)

Адаптивні алгоритми для задач про рівновагу в просторах Адамара
von: Ведель, Я.І., et al.
Veröffentlicht: (2020)

Інформаційна технологія обробки даних електрокардіограм для знаходження R-піків
von: Крак, Ю.В., et al.
Veröffentlicht: (2024)

Об одном классе интегральных функционалов с неизвестной областью интегрирования
von: Шевченко, А.И., et al.
Veröffentlicht: (2014)

К моделированию ситуации в задаче решения с денежными потерями
von: Михалевич, В.М.
Veröffentlicht: (2010)

Об аналоге формулы Коши для линейных систем произвольного дробного порядка
von: Чикрий, А.А., et al.
Veröffentlicht: (2007)

Двухэтапный проксимальный алгоритм для задачи о равновесии в пространстве Адамара
von: Ведель, Я.И., et al.
Veröffentlicht: (2020)

Перетворення Гільберта для аналізу стохастичної модуляції біперіодично нестаціонарного випадкового сигналу
von: Яворський, І.М., et al.
Veröffentlicht: (2025)

Информационные технологии глубинного машинного обучения для анализа изменений земного покрова
von: Куссуль, Н.Н., et al.
Veröffentlicht: (2016)

К моделированию ситуации в задаче принятия решения с денежными доходами
von: Михалевич, В.М.
Veröffentlicht: (2010)

Математическое моделирование одного класса сложных систем с применением нечеткой логики
von: Шевченко, А.И., et al.
Veröffentlicht: (2013)

О дифференциальных играх с интегральными ограничениями и цилиндрическим терминальным множеством
von: Белоусов, А.А.
Veröffentlicht: (2013)

Об импульсном оптимальном управлении динамическими системами типа Соболева с запаздыванием
von: Власенко, Л.А., et al.
Veröffentlicht: (2013)

Исследование устойчивости векторных задач дискретной оптимизации с различными принципами оптимальности
von: Лебедева, Т.Т., et al.
Veröffentlicht: (2012)