Ergebnis für "predicate" Treffer 1 - 20 von 20 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22predicate%22&type=Subject&lng=de 20 0 50 Algebras of general non-deterministic predicates Thu, 12 Mar 2026 23:16:57 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-227 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-227 Nikitchenko, M.S. Artikel 2018 Nikitchenko, M.S. 0 Logical consequence relations in logics of quasiary predicates Mon, 17 Nov 2025 02:17:21 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-166 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-166 Shkilniak, O.S. Artikel 2018 Shkilniak, O.S. 0 Algebras of quasiary and of bi-quasiary relations Mon, 17 Nov 2025 02:17:18 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-165 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-165 Nikitchenko, M.S. Artikel 2018 Nikitchenko, M.S. 0 Applying the predicate logic for cyber security artifacts verification in design of the critical purpose systems Thu, 17 Jul 2025 10:58:41 +0000 https://harvester.nas.gov.ua/Record/drspiprikievua-article-265714 https://harvester.nas.gov.ua/Record/drspiprikievua-article-265714 Давидюк, А. В. Artikel 2021 Давидюк, А. В. 0 Logics of general non-deterministic predicates: semantic aspects Thu, 17 Jul 2025 10:05:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-263 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-263 Nikitchenko, M.S. Artikel 2018 Nikitchenko, M.S. 0 First-order sequent calculi of logics of quasiary predicates with extended renominations and equality Thu, 17 Jul 2025 10:01:33 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-502 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-502 Shkilniak, О.S. Artikel 2023 Shkilniak, О.S. 0 The description of lists and sets of meta-language of normal forms of knowledge Thu, 17 Jul 2025 10:00:42 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-386 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-386 Kurgaev, A.F. Artikel 2020 Kurgaev, A.F. 0 Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools Thu, 17 Jul 2025 10:00:22 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-345 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-345 Shkilniak, O.S. Artikel 2019 Shkilniak, O.S. 0 Pure first-order logics of quasiary predicates Thu, 17 Jul 2025 09:59:23 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-182 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-182 Nikitchenko, M.S. Artikel 2018 Nikitchenko, M.S. 0 Propositional logics of partial predicates with composition of predicate complement Thu, 17 Jul 2025 09:55:43 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-344 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-344 Nikitchenko, M.S. Artikel 2019 Nikitchenko, M.S. 0 Composition nominative modal logics of partial non-monotone predicates and their calculi Thu, 17 Jul 2025 09:55:34 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-317 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-317 Shkilniak, O.S. Artikel 2018 Shkilniak, O.S. 0 First-order logics with partial predicates for checking variable definedness Thu, 17 Jul 2025 09:53:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-671 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-671 Shkilniak, S.S. Artikel 2025 Shkilniak, S.S. 0 First-order composition-nominative logics with predicates of weak equality and of strong equality Thu, 17 Jul 2025 09:50:25 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-365 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-365 Shkilniak, S.S. Artikel 2019 Shkilniak, S.S. 0 Pure first-order quasiary logics with equality predicates Thu, 17 Jul 2025 09:50:08 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-316 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-316 Nikitchenko, M.S. Artikel 2018 Nikitchenko, M.S. 0 Relations of logical consequence in logics of partial predicates with composition of predicate complement Thu, 17 Jul 2025 09:45:18 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-364 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-364 Shkilniak, O.S. Artikel 2019 Shkilniak, O.S. 0 Composition-nominative logics of free-quantifier levels Thu, 17 Jul 2025 09:44:03 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-180 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-180 Shkilniak, S.S. Artikel 2018 Shkilniak, S.S. 0 Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics Thu, 17 Jul 2025 09:41:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-615 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-615 Shkilniak, О.S. Artikel 2024 Shkilniak, О.S. 0 Semantic properties of five-valued logics Thu, 17 Jul 2025 09:39:05 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-230 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-230 Nikitchenko, M.S. Artikel 2018 Nikitchenko, M.S. 0 Logical consequence relations in logics of monotone predicates and logics of antitone predicates Thu, 17 Jul 2025 09:39:01 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-219 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-219 Shkilniak, O.S. Artikel 2018 Shkilniak, O.S. 0 Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement Thu, 17 Jul 2025 09:34:58 +0000 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-410 https://harvester.nas.gov.ua/Record/pp_isofts_kiev_ua-article-410 Nikitchenko, M.S. Artikel 2020 Nikitchenko, M.S. 0