Suchergebnisse - Shkilniak, O.S.
- Treffer 1 - 9 von 9
-
1
Logical consequence relations in logics of quasiary predicates von Shkilniak, O.S.
Veröffentlicht 2018Volltext
Artikel -
2
Logical consequence relations in logics of monotone predicates and logics of antitone predicates von Shkilniak, O.S.
Veröffentlicht 2018Volltext
Artikel -
3
-
4
Relations of logical consequence in logics of partial predicates with composition of predicate complement von Shkilniak, O.S.
Veröffentlicht 2019Volltext
Artikel -
5
Construction of sequent calculi of composition-nominative multimodal logics von Shkilniak, O.S.
Veröffentlicht 2025Volltext
Artikel -
6
Algebras of general non-deterministic predicates von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2018Volltext
Artikel -
7
First-order composition-nominative logics with generalized renominations von Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S.
Veröffentlicht 2025Volltext
Artikel -
8
Composition nominative modal logics of partial non-monotone predicates and their calculi von Shkilniak, O.S., Kasianiuk, V.S., Malutenko, L.M.
Veröffentlicht 2018Volltext
Artikel -
9
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
логическое следствие
логіка
partial predicate
предикат
algebra
non-deterministic predicate
predicate
semantics
алгебра
недетерминированный предикат
недетермінований предикат
секвенційне числення
семантика
частичный предикат
частковий предикат
7-valued predicate
7-значный предикат
7-значний предикат
: логіка
composition algebra
logical consequence sequent calculus
modal logic
sequent сalculus