Search Results - "predicate"

Suggested Topics within your search.
  • Showing 1 - 14 results of 14
Refine Results
  1. 1
    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:
  2. 2
    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:
  3. 3
    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:
  4. 4
    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:
  5. 5
    Cover Image

    Algebras of quasiary and of bi-quasiary relations by Nikitchenko, M.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  6. 6
    Cover Image

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

    Published in PROBLEMS IN PROGRAMMING (2019)

    Get full text
    Article

    Save to List
    Saved in:
  7. 7
    Cover Image

    First-order logics with partial predicates for checking variable definedness by Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2025)

    Get full text
    Article

    Save to List
    Saved in:
  8. 8
    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:
  9. 9
    Cover Image

    Pure first-order quasiary logics with equality predicates by Nikitchenko, M.S., Shkilniak, S.S.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:
  10. 10
    Cover Image

    Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems by Давидюк, А. В., Зубок, В. Ю.

    Published 2021

    Get full text
    Article

    Save to List
    Saved in:
  11. 11
    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:
  12. 12
    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:
  13. 13
    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:
  14. 14
    Cover Image

    Composition-nominative logics of free-quantifier levels by Shkilniak, S.S., Volkovytskyi, D.B.

    Published in PROBLEMS IN PROGRAMMING (2018)

    Get full text
    Article

    Save to List
    Saved in:

Search Tools: