Suchergebnisse - S. Shkilniak
- Treffer 1 - 20 von 52
- Zur nächsten Seite
-
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
First-order composition-nominative logics with predicates of weak equality and of strong equality von S. S. Shkilniak
Veröffentlicht 2019Volltext
Artikel -
4
Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates von S. S. Shkilniak
Veröffentlicht 2013Volltext
Artikel -
5
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates von S. S. Shkilniak
Veröffentlicht 2013Volltext
Artikel -
6
-
7
Algebras of general non-deterministic predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Veröffentlicht 2018Volltext
Artikel -
8
Logics of general non-deterministic predicates: semantic aspects von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Veröffentlicht 2018Volltext
Artikel -
9
7-values logics and logics of general non-deterministic predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Veröffentlicht 2018Volltext
Artikel -
10
Semantic properties of logics of general non-deterministic predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Veröffentlicht 2017Volltext
Artikel -
11
Pure first-order logics of quasiary predicates von M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Veröffentlicht 2016Volltext
Artikel -
12
Pure first-order logics of quasiary predicates von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
13
Algebras of general non-deterministic predicates von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
14
Logics of general non-deterministic predicates: semantic aspects von Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
15
-
16
First-order composition-nominative logics with generalized renominations von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2025Volltext
Artikel -
17
Deviant truth-values algebras and deviant classes of general non-deterministic predicates von O. S. Shkilniak
Veröffentlicht 2019Volltext
Artikel -
18
Relations of logical consequence in logics of partial predicates with composition of predicate complement von O. S. Shkilniak
Veröffentlicht 2019Volltext
Artikel -
19
Logical consequence relations in logics of monotone predicates and logics of antitone predicates von O. S. Shkilniak
Veröffentlicht 2017Volltext
Artikel -
20
Logical consequence relations in logics of quasiary predicates von O. S. Shkilniak
Veröffentlicht 2016Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
УДК 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