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