Search Results - Shkilniak, О.S.
- Showing 1 - 6 results of 6
-
1
-
2
-
3
Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2018Get full text
Article -
4
Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Published 2018Get full text
Article -
5
-
6
Композиційно-номінативні логіки з непрямим іменуванням by Rossada, T.V., Shkilniak, О.С.
Published 2015Get full text
Article
Search Tools:
Related Subjects
logical consequence
логічний наслідок
logic
sequent calculus
логіка
секвенційне числення
UDC 004.42:510.69
УДК 004.42:510.69
логика
логическое следствие
completeness
partial predicate
predicate
soundness
УДК 510.64
коректність
повнота
предикат
секвенциальное исчисление
частковий предикат
UDC 510.64
UDC 510.64
algebra
composition
equality
modal logic
non-deterministic predicate
semantics
алгебра