Результати пошуку - Nikitchenko, M.S.
- Показ 1 - 13 результатів із 13
-
1
Algebras and logics of partial quasiary predicates за авторством Nikitchenko, M., Shkilniak, S.
Опубліковано в: Algebra and Discrete Mathematics (2017)Отримати повний текст
Стаття -
2
Logics of quasiary predicates of quantifier-equational level за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано 2015Отримати повний текст
Стаття -
3
Algebras of quasiary and of bi-quasiary relations за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано 2018Отримати повний текст
Стаття -
4
Compositional logics of nominative data за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано 2015Отримати повний текст
Стаття -
5
Pure first-order quasiary logics with equality predicates за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано 2018Отримати повний текст
Стаття -
6
Logics of local equitone predicates: semantic properties and sequential calculuses за авторством Nikitchenko, M.S., Shkilniak, S.S.
Опубліковано 2015Отримати повний текст
Стаття -
7
Semantic properties of five-valued logics за авторством Nikitchenko, M.S., Shyshatska, E.V.
Опубліковано 2018Отримати повний текст
Стаття -
8
Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Опубліковано 2018Отримати повний текст
Стаття -
9
Algebras of general non-deterministic predicates за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Опубліковано 2018Отримати повний текст
Стаття -
10
Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Опубліковано 2018Отримати повний текст
Стаття -
11
-
12
First-order composition-nominative logics with generalized renominations за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Опубліковано 2025Отримати повний текст
Стаття -
13
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
логічний наслідок
логическое следствие
algebra
алгебра
секвенційне числення
sequent calculus
предикат
секвенциальное исчисление
non-deterministic predicate
partial predicate
predicate
недетерминированный предикат
недетермінований предикат
681.3.06
: логіка
Composition-nominative logics
UDC 510.6
completeness
composition
equality
five-valued function
five-valued predicate
isomorphism