Показ
1 - 6
результатів із
6
для пошуку '
Shkilniak, О.S.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Full text
Знайти
Розширений
Автор
Shkilniak, О.S.
Показ
1 - 6
результатів із
6
для пошуку '
Shkilniak, О.S.
'
, час виконання запиту: 0.09сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2023
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2024
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Pure first-order logics of quasiary predicates
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 4
4
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2020
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 5
5
Композиційно-номінативні логіки з непрямим іменуванням
за авторством
Rossada, T.V.
,
Shkilniak, О.С.
Опубліковано 2015
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 6
6
Logics of general non-deterministic predicates: semantic aspects
за авторством
Nikitchenko, M.S.
,
Shkilniak, О.S.
,
Shkilniak, S.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
logical consequence
логічний наслідок
logic
sequent calculus
логіка
секвенційне числення
UDC 004.42:510.69
УДК 004.42:510.69
логика
логическое следствие
completeness
partial predicate
predicate
soundness
УДК 510.64
коректність
повнота
предикат
секвенциальное исчисление
частковий предикат
UDC 510.64
UDC 510.64
algebra
composition
equality
modal logic
non-deterministic predicate
semantics
алгебра