Algebras and logics of partial quasiary predicates
In the paper we investigate algebras and logics defined for classes of partial quasiary predicates. Informally speaking, such predicates are partial predicates defined over partial states (partial assignments) of variables. Conventional n-ary predicates can be considered as a special case of quasiar...
Збережено в:
| Опубліковано в: : | Algebra and Discrete Mathematics |
|---|---|
| Дата: | 2017 |
| Автори: | Nikitchenko, M., Shkilniak, S. |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2017
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/156020 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Algebras and logics of partial quasiary predicates / M. Nikitchenko, S. Shkilniak // Algebra and Discrete Mathematics. — 2017. — Vol. 23, № 2. — С. 263–278. — Бібліогр.: 7 назв. — англ. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of UkraineСхожі ресурси
Algebras and logics of partial quasiary predicates
за авторством: M. Nikitchenko, та інші
Опубліковано: (2017)
за авторством: M. Nikitchenko, та інші
Опубліковано: (2017)
Pure first-order logics of quasiary predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)
Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
Pure first-order quasiary logics with equality predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)
Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Renominative logics of quasiary predicates
за авторством: S. S. Shkilniak, та інші
Опубліковано: (2016)
за авторством: S. S. Shkilniak, та інші
Опубліковано: (2016)
Logical consequence relations in logics of quasiary predicates
за авторством: O. S. Shkilniak
Опубліковано: (2016)
за авторством: O. S. Shkilniak
Опубліковано: (2016)
Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
Logics with quasiary and N-ary predicates: semantic and syntastic aspects
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)
Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)
Propositional logics of partial predicates with composition of predicate com-plement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2019)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2019)
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)
за авторством: S. S. Shkilniak
Опубліковано: (2013)
Algebras of quasiary and of bi-quasiary relations
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016)
Algebras of quasiary and of bi-quasiary relations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2020)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2020)
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: O. S. Shkilniak
Опубліковано: (2019)
за авторством: O. S. Shkilniak
Опубліковано: (2019)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)
за авторством: Shkilniak, O.S.
Опубліковано: (2019)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)
7-values logics and logics of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)
Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
за авторством: O. S. Shkilniak
Опубліковано: (2013)
за авторством: O. S. Shkilniak
Опубліковано: (2013)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: O. S. Shkilniak
Опубліковано: (2017)
за авторством: O. S. Shkilniak
Опубліковано: (2017)
First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
за авторством: Shkilniak, O.S.
Опубліковано: (2018)
Semantic properties of logics of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)
Logics of general non-deterministic predicates: semantic aspects
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)
Algebras of general non-deterministic predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2018)
Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)
Renominative logics with extended renomination, equality and predicate complement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2019)
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2019)
Logics of local equitone predicates: semantic properties and sequential calculuses
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)
Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2017)
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2017)
Completeness of sequent calculi for modal logics of non-monotone partial predicates
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2016)
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2016)
Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)
Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)
за авторством: S. S. Shkilniak
Опубліковано: (2013)
Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
за авторством: Shkilniak, S.S.
Опубліковано: (2025)
Partial predicates logics induced Kleene's three-valued logics
за авторством: D. B. Buj, та інші
Опубліковано: (2015)
за авторством: D. B. Buj, та інші
Опубліковано: (2015)
First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: S. S. Shkilniak
Опубліковано: (2019)
за авторством: S. S. Shkilniak
Опубліковано: (2019)
Схожі ресурси
-
Algebras and logics of partial quasiary predicates
за авторством: M. Nikitchenko, та інші
Опубліковано: (2017) -
Pure first-order logics of quasiary predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2016) -
Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018) -
Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015) -
Pure first-order quasiary logics with equality predicates
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2017)