Результати пошуку - S. S. Shkilniak

Уточнити результати
  1. 1
    Зображення обкладинки

    Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics за авторством Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2024)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  2. 2
    Зображення обкладинки

    First-order composition-nominative logics with predicates of weak equality and of strong equality за авторством S. S. Shkilniak

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  3. 3
    Зображення обкладинки

    Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates за авторством S. S. Shkilniak

    Опубліковано 2013
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  4. 4
    Зображення обкладинки

    Construction of Sequent Calculi for First-order Logics of Quasiary Predicates за авторством S. S. Shkilniak

    Опубліковано 2013
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  5. 5
    Зображення обкладинки

    Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Опубліковано 2020
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  6. 6
    Зображення обкладинки

    Algebras of general non-deterministic predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  7. 7
    Зображення обкладинки

    Logics of general non-deterministic predicates: semantic aspects за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  8. 8
    Зображення обкладинки

    7-values logics and logics of general non-deterministic predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Опубліковано 2018
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  9. 9
    Зображення обкладинки

    Semantic properties of logics of general non-deterministic predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Опубліковано 2017
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  10. 10
    Зображення обкладинки

    Pure first-order logics of quasiary predicates за авторством M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Опубліковано 2016
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  11. 11
    Зображення обкладинки

    Pure first-order logics of quasiary predicates за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  12. 12
    Зображення обкладинки

    Logics of general non-deterministic predicates: semantic aspects за авторством Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  13. 13
    Зображення обкладинки

    Deviant truth-values algebras and deviant classes of general non-deterministic predicates за авторством O. S. Shkilniak

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  14. 14
    Зображення обкладинки

    Relations of logical consequence in logics of partial predicates with composition of predicate complement за авторством O. S. Shkilniak

    Опубліковано 2019
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  15. 15
    Зображення обкладинки

    Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством O. S. Shkilniak

    Опубліковано 2017
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  16. 16
    Зображення обкладинки

    Logical consequence relations in logics of quasiary predicates за авторством O. S. Shkilniak

    Опубліковано 2016
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  17. 17
    Зображення обкладинки

    Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates за авторством O. S. Shkilniak

    Опубліковано 2013
    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  18. 18
    Зображення обкладинки

    Logical consequence relations in logics of quasiary predicates за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  19. 19
    Зображення обкладинки

    Logical consequence relations in logics of monotone predicates and logics of antitone predicates за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2018)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:
  20. 20
    Зображення обкладинки

    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools за авторством Shkilniak, O.S.

    Опубліковано в PROBLEMS IN PROGRAMMING (2019)

    Отримати повний текст
    Стаття

    Додати у Вибране
    Збережено в:

Інструменти для пошуку: