Suchergebnisse - S. S. Shkilniak

Treffer weiter einschränken
  1. 1
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2024)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2019
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  4. 4
    Buchumschlag

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

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2020
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  7. 7
    Buchumschlag

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

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  8. 8
    Buchumschlag

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

    Veröffentlicht 2018
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2017
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2016
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  12. 12
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 2019
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  14. 14
    Buchumschlag

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

    Veröffentlicht 2019
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  15. 15
    Buchumschlag

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

    Veröffentlicht 2017
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  16. 16
    Buchumschlag

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

    Veröffentlicht 2016
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  17. 17
    Buchumschlag

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

    Veröffentlicht 2013
    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2018)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht in PROBLEMS IN PROGRAMMING (2019)

    Volltext
    Artikel

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: