Suchergebnisse - Nikitchenko, M.S.
- Treffer 1 - 15 von 15
-
1
Algebras and logics of partial quasiary predicates von Nikitchenko, M., Shkilniak, S.
Veröffentlicht in Algebra and Discrete Mathematics (2017)Volltext
Artikel -
2
Logics of quasiary predicates of quantifier-equational level von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2015Volltext
Artikel -
3
Algebras of quasiary and of bi-quasiary relations von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2018
Volltext
Artikel -
4
Compositional logics of nominative data von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2015Volltext
Artikel -
5
Pure first-order quasiary logics with equality predicates von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2018
Volltext
Artikel -
6
Compositional-nominative logics over hierarchical data von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2026Volltext
Artikel -
7
Logics of local equitone predicates: semantic properties and sequential calculuses von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2015Volltext
Artikel -
8
Semantic properties of five-valued logics von Nikitchenko, M.S., Shyshatska, E.V.
Veröffentlicht 2018
Volltext
Artikel -
9
Stability and monotonicity of programs for structural data transformations von Nikitchenko, M.S., Iivanov, E.V.
Veröffentlicht 2026Volltext
Artikel -
10
Pure first-order logics of quasiary predicates von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018
Volltext
Artikel -
11
Algebras of general non-deterministic predicates von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2018
Volltext
Artikel -
12
Logics of general non-deterministic predicates: semantic aspects von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018
Volltext
Artikel -
13
-
14
First-order composition-nominative logics with generalized renominations von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2025Volltext
Artikel -
15
Propositional logics of partial predicates with composition of predicate complement von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
Veröffentlicht 2019
Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
УДК 004.42:510.69
UDC 004.42:510.69
logic
логика
логіка
logical consequence
логічний наслідок
логическое следствие
algebra
алгебра
секвенційне числення
sequent calculus
предикат
секвенциальное исчисление
UDC 004.4
non-deterministic predicate
partial predicate
predicate
УДК 004.4
недетерминированный предикат
недетермінований предикат
681.3.06
: логіка
Composition-nominative logics
UDC 510.6
completeness
composition
equality
five-valued function