Suchergebnisse - Shkilniak, O.S.
- Treffer 1 - 7 von 7
-
1
Logical consequence relations in logics of quasiary predicates von Shkilniak, O.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
2
Logical consequence relations in logics of monotone predicates and logics of antitone predicates von Shkilniak, O.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)
Volltext
Artikel -
3
-
4
Relations of logical consequence in logics of partial predicates with composition of predicate complement von Shkilniak, O.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2019)
Volltext
Artikel -
5
Construction of sequent calculi of composition-nominative multimodal logics von Shkilniak, O.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2025)Volltext
Artikel -
6
Compositional-nominative modal logics of the functional-equational level von Shkilniak, O.S.
Veröffentlicht in PROBLEMS IN PROGRAMMING (2026)Volltext
Artikel -
7
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 in PROBLEMS IN PROGRAMMING (2019)
Volltext
Artikel
Suchwerkzeuge:
Ähnliche Schlagworte
УДК 004.42:510.69
UDC 004.42:510.69
logic
логика
logical consequence
логіка
логічний наслідок
логическое следствие
предикат
partial predicate
predicate
semantics
семантика
7-valued predicate
7-значный предикат
7-значний предикат
: логіка
UDC 681.3.06
algebra
composition algebra
non-deterministic predicate
sequent сalculus
УДК 681.3.06
алгебра
композиционная алгебра
композиційна алгебра
недетерминированный предикат
недетермінований предикат
секвенційне числення