Suchergebnisse - Shkilniak, О.S.
- Treffer 1 - 6 von 6
-
1
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality von Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2023Volltext
Artikel -
2
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics von Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2024Volltext
Artikel -
3
Pure first-order logics of quasiary predicates von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
4
Logics of general non-deterministic predicates: semantic aspects von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
5
-
6
Композиційно-номінативні логіки з непрямим іменуванням von Rossada, T.V., Shkilniak, О.С.
Veröffentlicht 2015Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
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
алгебра