Search Results - Shkilniak, O.S.

  • Showing 1 - 7 results of 7
Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2019)

    Get full text
    Article

    Save to List
    Saved in:
  5. 5
    Cover Image

    Construction of sequent calculi of composition-nominative multimodal logics by Shkilniak, O.S.

    Published in PROBLEMS IN PROGRAMMING (2025)
    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

    Compositional-nominative modal logics of the functional-equational level by Shkilniak, O.S.

    Published in PROBLEMS IN PROGRAMMING (2026)
    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    Propositional logics of partial predicates with composition of predicate complement by Nikitchenko, M.S., Shkilniak, O.S., Shkilniak, S.S., Mamedov, T.A.

    Published in PROBLEMS IN PROGRAMMING (2019)

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: