Suggested Topics within your search.
Showing 1 - 18 results of 18 for search '"predicate"', query time: 0.17s Refine Results
  1. 1
    Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
    by Shkilniak, O.S.
    Published 2019
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Logical consequence relations in logics of quasiary predicates
    by Shkilniak, O.S.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  3. 3
    Logical consequence relations in logics of monotone predicates and logics of antitone predicates
    by Shkilniak, O.S.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  4. 4
    The description of lists and sets of meta-language of normal forms of knowledge
    by Kurgaev, A.F.
    Published 2020
    Get full text
    Article
    Save to List
    Saved in:
  5. 5
    Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
    by Shkilniak, О.S., Shkilniak, S.S.
    Published 2024
    Get full text
    Article
    Save to List
    Saved in:
  6. 6
    First-order logics with partial predicates for checking variable definedness
    by Shkilniak, S.S.
    Published 2025
    Get full text
    Article
    Save to List
    Saved in:
  7. 7
    First-order composition-nominative logics with predicates of weak equality and of strong equality
    by Shkilniak, S.S.
    Published 2019
    Get full text
    Article
    Save to List
    Saved in:
  8. 8
    Algebras of quasiary and of bi-quasiary relations
    by Nikitchenko, M.S., Shkilniak, S.S.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  9. 9
    Pure first-order logics of quasiary predicates
    Get full text
    Article
    Save to List
    Saved in:
  10. 10
    Pure first-order quasiary logics with equality predicates
    by Nikitchenko, M.S., Shkilniak, S.S.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  11. 11
    First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
    by Shkilniak, О.S., Shkilniak, S.S.
    Published 2023
    Get full text
    Article
    Save to List
    Saved in:
  12. 12
    Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems
    Get full text
    Article
    Save to List
    Saved in:
  13. 13
    Composition nominative modal logics of partial non-monotone predicates and their calculi
    Get full text
    Article
    Save to List
    Saved in:
  14. 14
    Propositional logics of partial predicates with composition of predicate complement
    Get full text
    Article
    Save to List
    Saved in:
  15. 15
    Logics of general non-deterministic predicates: semantic aspects
    Get full text
    Article
    Save to List
    Saved in:
  16. 16
    Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
    Get full text
    Article
    Save to List
    Saved in:
  17. 17
    Composition-nominative logics of free-quantifier levels
    by Shkilniak, S.S., Volkovytskyi, D.B.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
  18. 18
    Semantic properties of five-valued logics
    by Nikitchenko, M.S., Shyshatska, E.V.
    Published 2018
    Get full text
    Article
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search – Save Search