Результати для "sequent calculus" Показ 1 - 6 результатів із 6 Laminas_Feed_Writer 2 (https://getlaminas.org) https://harvester.nas.gov.ua/Search/Results?sort=last_indexed+desc&limit=50&lookfor=%22sequent+calculus%22&type=Subject&lng=uk 6 0 50 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. Стаття 2023 Shkilniak, О.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. Стаття 2018 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. Стаття 2018 Shkilniak, O.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. Стаття 2018 Nikitchenko, M.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. Стаття 2024 Shkilniak, О.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. Стаття 2020 Nikitchenko, M.S. 0