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...
Saved in:
| Published in: | Algebra and Discrete Mathematics |
|---|---|
| Date: | 2017 |
| Main Authors: | Nikitchenko, M., Shkilniak, S. |
| Format: | Article |
| Language: | English |
| Published: |
Інститут прикладної математики і механіки НАН України
2017
|
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/156020 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Algebras and logics of partial quasiary predicates / M. Nikitchenko, S. Shkilniak // Algebra and Discrete Mathematics. — 2017. — Vol. 23, № 2. — С. 263–278. — Бібліогр.: 7 назв. — англ. |
Institution
Digital Library of Periodicals of National Academy of Sciences of UkraineSimilar Items
Algebras and logics of partial quasiary predicates
by: M. Nikitchenko, et al.
Published: (2017)
by: M. Nikitchenko, et al.
Published: (2017)
Pure first-order logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016)
by: M. S. Nikitchenko, et al.
Published: (2016)
Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Logics of quasiary predicates of quantifier-equational level
by: Nikitchenko, M.S., et al.
Published: (2015)
by: Nikitchenko, M.S., et al.
Published: (2015)
Pure first-order quasiary logics with equality predicates
by: M. S. Nikitchenko, et al.
Published: (2017)
by: M. S. Nikitchenko, et al.
Published: (2017)
Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Renominative logics of quasiary predicates
by: S. S. Shkilniak, et al.
Published: (2016)
by: S. S. Shkilniak, et al.
Published: (2016)
Logical consequence relations in logics of quasiary predicates
by: O. S. Shkilniak
Published: (2016)
by: O. S. Shkilniak
Published: (2016)
Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)
by: Shkilniak, O.S.
Published: (2018)
Logics with quasiary and N-ary predicates: semantic and syntastic aspects
by: M. S. Nikitchenko, et al.
Published: (2016)
by: M. S. Nikitchenko, et al.
Published: (2016)
Propositional logics of partial predicates with composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2019)
by: Nikitchenko, M.S., et al.
Published: (2019)
Propositional logics of partial predicates with composition of predicate com-plement
by: M. S. Nikitchenko, et al.
Published: (2019)
by: M. S. Nikitchenko, et al.
Published: (2019)
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
by: S. S. Shkilniak
Published: (2013)
by: S. S. Shkilniak
Published: (2013)
Algebras of quasiary and of bi-quasiary relations
by: M. S. Nikitchenko, et al.
Published: (2016)
by: M. S. Nikitchenko, et al.
Published: (2016)
Algebras of quasiary and of bi-quasiary relations
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
by: M. S. Nikitchenko, et al.
Published: (2020)
by: M. S. Nikitchenko, et al.
Published: (2020)
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
by: Shkilniak, О.S., et al.
Published: (2023)
by: Shkilniak, О.S., et al.
Published: (2023)
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
by: Shkilniak, О.S., et al.
Published: (2024)
by: Shkilniak, О.S., et al.
Published: (2024)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: O. S. Shkilniak
Published: (2019)
by: O. S. Shkilniak
Published: (2019)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)
by: Shkilniak, O.S.
Published: (2019)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2020)
by: Nikitchenko, M.S., et al.
Published: (2020)
7-values logics and logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)
by: M. S. Nikitchenko, et al.
Published: (2018)
Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
by: O. S. Shkilniak
Published: (2013)
by: O. S. Shkilniak
Published: (2013)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: O. S. Shkilniak
Published: (2017)
by: O. S. Shkilniak
Published: (2017)
First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)
by: Shkilniak, S.S.
Published: (2025)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)
by: Shkilniak, O.S.
Published: (2018)
Semantic properties of logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2017)
by: M. S. Nikitchenko, et al.
Published: (2017)
Logics of general non-deterministic predicates: semantic aspects
by: M. S. Nikitchenko, et al.
Published: (2018)
by: M. S. Nikitchenko, et al.
Published: (2018)
Algebras of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2018)
by: M. S. Nikitchenko, et al.
Published: (2018)
Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Algebras of general non-deterministic predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Renominative logics with extended renomination, equality and predicate complement
by: M. S. Nikitchenko, et al.
Published: (2019)
by: M. S. Nikitchenko, et al.
Published: (2019)
Logics of local equitone predicates: semantic properties and sequential calculuses
by: Nikitchenko, M.S., et al.
Published: (2015)
by: Nikitchenko, M.S., et al.
Published: (2015)
Composition nominative modal logics of partial non-monotone predicates and their calculi
by: O. S. Shkilniak, et al.
Published: (2017)
by: O. S. Shkilniak, et al.
Published: (2017)
Completeness of sequent calculi for modal logics of non-monotone partial predicates
by: O. S. Shkilniak, et al.
Published: (2016)
by: O. S. Shkilniak, et al.
Published: (2016)
Composition nominative modal logics of partial non-monotone predicates and their calculi
by: Shkilniak, O.S., et al.
Published: (2018)
by: Shkilniak, O.S., et al.
Published: (2018)
Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
by: S. S. Shkilniak
Published: (2013)
by: S. S. Shkilniak
Published: (2013)
Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)
by: Shkilniak, S.S.
Published: (2025)
Partial predicates logics induced Kleene's three-valued logics
by: D. B. Buj, et al.
Published: (2015)
by: D. B. Buj, et al.
Published: (2015)
First-order composition-nominative logics with predicates of weak equality and of strong equality
by: S. S. Shkilniak
Published: (2019)
by: S. S. Shkilniak
Published: (2019)
Similar Items
-
Algebras and logics of partial quasiary predicates
by: M. Nikitchenko, et al.
Published: (2017) -
Pure first-order logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016) -
Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018) -
Logics of quasiary predicates of quantifier-equational level
by: Nikitchenko, M.S., et al.
Published: (2015) -
Pure first-order quasiary logics with equality predicates
by: M. S. Nikitchenko, et al.
Published: (2017)