Search Results - S. S. Shkilniak

Refine Results
  1. 1
    Cover Image

    Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics by Shkilniak, О.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2024)

    Get full text
    Article

    Save to List
    Saved in:
  2. 2
    Cover Image

    First-order composition-nominative logics with predicates of weak equality and of strong equality by S. S. Shkilniak

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  3. 3
    Cover Image

    Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates by S. S. Shkilniak

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  4. 4
    Cover Image

    Construction of Sequent Calculi for First-order Logics of Quasiary Predicates by S. S. Shkilniak

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2020
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Algebras of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Logics of general non-deterministic predicates: semantic aspects by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    Cover Image

    7-values logics and logics of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2018
    Get full text
    Article

    Save to List
    Saved in:
  9. 9
    Cover Image

    Semantic properties of logics of general non-deterministic predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2017
    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    Pure first-order logics of quasiary predicates by M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    Cover Image

    Pure first-order logics of quasiary predicates by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  12. 12
    Cover Image

    Logics of general non-deterministic predicates: semantic aspects by Nikitchenko, M.S., Shkilniak, О.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  13. 13
    Cover Image

    Deviant truth-values algebras and deviant classes of general non-deterministic predicates by O. S. Shkilniak

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  14. 14
    Cover Image

    Relations of logical consequence in logics of partial predicates with composition of predicate complement by O. S. Shkilniak

    Published 2019
    Get full text
    Article

    Save to List
    Saved in:
  15. 15
    Cover Image

    Logical consequence relations in logics of monotone predicates and logics of antitone predicates by O. S. Shkilniak

    Published 2017
    Get full text
    Article

    Save to List
    Saved in:
  16. 16
    Cover Image

    Logical consequence relations in logics of quasiary predicates by O. S. Shkilniak

    Published 2016
    Get full text
    Article

    Save to List
    Saved in:
  17. 17
    Cover Image

    Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates by O. S. Shkilniak

    Published 2013
    Get full text
    Article

    Save to List
    Saved in:
  18. 18
    Cover Image

    Logical consequence relations in logics of quasiary predicates by Shkilniak, O.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  19. 19
    Cover Image

    Logical consequence relations in logics of monotone predicates and logics of antitone predicates by Shkilniak, O.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  20. 20
    Cover Image

    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools by Shkilniak, O.S.

    Published in PROBLEMS IN PROGRAMMING (2019)

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: