Search Results - S. Shkilniak
- Showing 1 - 20 results of 52
- Go to Next Page
-
1
-
2
-
3
-
4
Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates by S. S. Shkilniak
Published 2013Get full text
Article -
5
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates by S. S. Shkilniak
Published 2013Get full text
Article -
6
-
7
Algebras of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Published 2018Get full text
Article -
8
Logics of general non-deterministic predicates: semantic aspects by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Published 2018Get full text
Article -
9
7-values logics and logics of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Published 2018Get full text
Article -
10
-
11
Pure first-order logics of quasiary predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Published 2016Get full text
Article -
12
Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2018Get full text
Article -
13
Algebras of general non-deterministic predicates by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Published 2018Get full text
Article -
14
Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2018Get full text
Article -
15
-
16
-
17
-
18
-
19
-
20
Logical consequence relations in logics of quasiary predicates by O. S. Shkilniak
Published 2016Get full text
Article
Search Tools:
Related Subjects
УДК 004.42:510.69
UDC 004.42:510.69
логічний наслідок
logic
logical consequence
логіка
логика
логическое следствие
предикат
predicate
секвенційне числення
partial predicate
частковий предикат
sequent calculus
algebra
equality
semantics
алгебра
секвенциальное исчисление
семантика
non-deterministic predicate
недетерминированный предикат
недетермінований предикат
равенство
рівність
частичный предикат
completeness
composition
modal logic