Показ
1 - 7
результатів із
7
для пошуку '
Shkilniak, O.S.
'
Перейти до змісту
VuFind
Ваш обліковий запис
Вихід
Логін
Мова
English
Deutsch
Українська
Харвестер відкритої науки НАН України
Всі поля
Назва
Назва журналу
Автор
Предмет
Опис
Тег
Full text
Знайти
Розширений
Автор
Shkilniak, O.S.
Показ
1 - 7
результатів із
7
для пошуку '
Shkilniak, O.S.
'
, час виконання запиту: 0.05сек.
Уточнити результати
Сортувати
Релевантність
Дата у спадаючому порядку
Дата у зростаючому порядку
Шифр
Автор
Назва
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Вибрати результат під номером 1
1
Logical consequence relations in logics of quasiary predicates
за авторством
Shkilniak, O.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 2
2
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством
Shkilniak, O.S.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 3
3
Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
за авторством
Shkilniak, O.S.
Опубліковано 2019
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 4
4
Construction of sequent calculi of composition-nominative multimodal logics
за авторством
Shkilniak, O.S.
Опубліковано 2025
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 5
5
First-order composition-nominative logics with generalized renominations
за авторством
Nikitchenko, M.S.
,
Shkilniak, O.S.
,
Shkilniak, S.S.
Опубліковано 2025
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 6
6
Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством
Shkilniak, O.S.
,
Kasianiuk, V.S.
,
Malutenko, L.M.
Опубліковано 2018
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати результат під номером 7
7
Propositional logics of partial predicates with composition of predicate complement
за авторством
Nikitchenko, M.S.
,
Shkilniak, O.S.
,
Shkilniak, S.S.
,
Mamedov, T.A.
Опубліковано 2019
Отримати повний текст
Стаття
Додати у Вибране
Збережено в:
Вибрати сторінку | з відміченими:
Е-пошта
Експорт
Друк
Зберегти
Інструменти для пошуку:
Отримати RSS-стрічку
–
Відправити пошук е-поштою
Пов'язані теми
УДК 004.42:510.69
UDC 004.42:510.69
logic
логика
логічний наслідок
logical consequence
логическое следствие
логіка
предикат
partial predicate
predicate
semantics
секвенційне числення
семантика
7-valued predicate
7-значный предикат
7-значний предикат
: логіка
algebra
logical consequence sequent calculus
modal logic
non-deterministic predicate
sequent сalculus
алгебра
модальна логіка
модальная логика
недетерминированный предикат
недетермінований предикат
секвенциальное исчисление