Рекомендовані теми у межах Вашого пошуку.
Показ 1 - 12 результатів із 12 для пошуку '', час виконання запиту: 0.19сек. Уточнити результати
  1. 1
    First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
    за авторством Shkilniak, О.S., Shkilniak, S.S.
    Опубліковано 2023
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  2. 2
    Relations of logical consequence in logics of partial predicates with composition of predicate complement
    за авторством Shkilniak, O.S.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  3. 3
    First-order composition-nominative logics with predicates of weak equality and of strong equality
    за авторством Shkilniak, S.S.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  4. 4
    Logics of general non-deterministic predicates: semantic aspects
    за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  5. 5
    Logical consequence relations in logics of monotone predicates and logics of antitone predicates
    за авторством Shkilniak, O.S.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  6. 6
    Propositional logics of partial predicates with composition of predicate complement
    за авторством Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  7. 7
    Tasks for information security risks management in making-decision process
    за авторством Rodin, Y.S.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  8. 8
    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
    за авторством Shkilniak, O.S.
    Опубліковано 2019
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  9. 9
    Pure first-order quasiary logics with equality predicates
    за авторством Nikitchenko, M.S., Shkilniak, S.S.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  10. 10
    Pure first-order logics of quasiary predicates
    за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  11. 11
    Semantic properties of five-valued logics
    за авторством Nikitchenko, M.S., Shyshatska, E.V.
    Опубліковано 2018
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
  12. 12
    First-order logics with partial predicates for checking variable definedness
    за авторством Shkilniak, S.S.
    Опубліковано 2025
    Отримати повний текст
    Стаття
    Додати у Вибране
    Збережено в:
Інструменти для пошуку: Отримати RSS-стрічку – Відправити пошук е-поштою – Зберегти пошук