| Issue | Title | |
| No 1 (2016) | Logical consequence relations in logics of quasiary predicates | Abstract PDF (Українська) |
| O.S. Shkilniak | ||
| No 1 (2019) | Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools | Abstract PDF (Українська) |
| O.S. Shkilniak | ||
| No 1 (2018) | The technique of using Description Logics in the process of constructing a composite service at the functional level | Abstract PDF (Українська) |
| O.V. Zakharova | ||
| No 4 (2024) | First-order logics with partial predicates for checking variable definedness | Abstract PDF (Українська) |
| S.S. Shkilniak | ||
| No 1 (2016) | Algebras of quasiary and of bi-quasiary relations | Abstract PDF (Українська) |
| M.S. Nikitchenko, S.S. Shkilniak | ||
| No 1 (2019) | Propositional logics of partial predicates with composition of predicate complement | Abstract PDF (Українська) |
| M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak, T.A. Mamedov | ||
| No 1 (2018) | Semantic properties of five-valued logics | Abstract PDF (Русский) |
| M.S. Nikitchenko, E.V. Shyshatska | ||
| No 2-3 (2024) | Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics | Abstract PDF (Українська) |
| О.S. Shkilniak, S.S. Shkilniak | ||
| No 4 (2015) | Semantic annotation of Web-services | Abstract PDF (Українська) |
| O.V. Zakharova | ||
| No 4 (2018) | Method of information and analytical support for information security risk management of information systems | Abstract PDF (Українська) |
| Y.S. Rodin | ||
| No 1 (2018) | Algebras of general non-deterministic predicates | Abstract PDF |
| M.S. Nikitchenko, O.S. Shkilniak, S.S. Shkilniak | ||
| No 4 (2015) | Mappings of the description logic ALC into the binary relational data struc-ture | Abstract PDF (Русский) |
| V.A. Reznichenko, I.S. Chystiakova | ||
| 26 - 37 of 37 Items | << < 1 2 | |
Search tips:
- Search terms are case-insensitive
- Common words are ignored
- By default only articles containing all terms in the query are returned (i.e., AND is implied)
- Combine multiple words with OR to find articles containing either term; e.g., education OR research
- Use parentheses to create more complex queries; e.g., archive ((journal OR conference) NOT theses)
- Search for an exact phrase by putting it in quotes; e.g., "open access publishing"
- Exclude a word by prefixing it with - or NOT; e.g. online -politics or online NOT politics
- Use * in a term as a wildcard to match any sequence of characters; e.g., soci* morality would match documents containing "sociological" or "societal"