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

  • Показ 1 - 6 результатів із 6
Уточнити результати
  1. 1
    Зображення обкладинки

    First-order sequent calculi of logics of quasiary predicates with extended renominations and equality за авторством Shkilniak, О.S., Shkilniak, S.S.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    Композиційно-номінативні логіки з непрямим іменуванням за авторством Rossada, T.V., Shkilniak, О.С.

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

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

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