Suchergebnisse - Nikitchenko, M.
- Treffer 1 - 13 von 13
-
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 2018Volltext
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 2018Volltext
Artikel -
6
Logics of local equitone predicates: semantic properties and sequential calculuses von Nikitchenko, M.S., Shkilniak, S.S.
Veröffentlicht 2015Volltext
Artikel -
7
Semantic properties of five-valued logics von Nikitchenko, M.S., Shyshatska, E.V.
Veröffentlicht 2018Volltext
Artikel -
8
Pure first-order logics of quasiary predicates von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
9
Algebras of general non-deterministic predicates von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
10
Logics of general non-deterministic predicates: semantic aspects von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
11
-
12
First-order composition-nominative logics with generalized renominations von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2025Volltext
Artikel -
13
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 2019Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
УДК 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