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...
Gespeichert in:
| Veröffentlicht in: | Algebra and Discrete Mathematics |
|---|---|
| Datum: | 2017 |
| Hauptverfasser: | Nikitchenko, M., Shkilniak, S. |
| Format: | Artikel |
| Sprache: | Englisch |
| Veröffentlicht: |
Інститут прикладної математики і механіки НАН України
2017
|
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/156020 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | 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 UkraineÄhnliche Einträge
Algebras and logics of partial quasiary predicates
von: M. Nikitchenko, et al.
Veröffentlicht: (2017)
von: M. Nikitchenko, et al.
Veröffentlicht: (2017)
Pure first-order logics of quasiary predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)
Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Logics of quasiary predicates of quantifier-equational level
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)
Pure first-order quasiary logics with equality predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)
Pure first-order quasiary logics with equality predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Renominative logics of quasiary predicates
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)
Logical consequence relations in logics of quasiary predicates
von: O. S. Shkilniak
Veröffentlicht: (2016)
von: O. S. Shkilniak
Veröffentlicht: (2016)
Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)
von: Shkilniak, O.S.
Veröffentlicht: (2018)
Logics with quasiary and N-ary predicates: semantic and syntastic aspects
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)
Propositional logics of partial predicates with composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2019)
Propositional logics of partial predicates with composition of predicate com-plement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2019)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2019)
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)
von: S. S. Shkilniak
Veröffentlicht: (2013)
Algebras of quasiary and of bi-quasiary relations
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016)
Algebras of quasiary and of bi-quasiary relations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2020)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2020)
First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
von: Shkilniak, О.S., et al.
Veröffentlicht: (2023)
von: Shkilniak, О.S., et al.
Veröffentlicht: (2023)
Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: O. S. Shkilniak
Veröffentlicht: (2019)
von: O. S. Shkilniak
Veröffentlicht: (2019)
Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)
von: Shkilniak, O.S.
Veröffentlicht: (2019)
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2020)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2020)
7-values logics and logics of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)
Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
von: O. S. Shkilniak
Veröffentlicht: (2013)
von: O. S. Shkilniak
Veröffentlicht: (2013)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: O. S. Shkilniak
Veröffentlicht: (2017)
von: O. S. Shkilniak
Veröffentlicht: (2017)
First-order logics with partial predicates for checking variable definedness
von: Shkilniak, S.S.
Veröffentlicht: (2025)
von: Shkilniak, S.S.
Veröffentlicht: (2025)
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)
von: Shkilniak, O.S.
Veröffentlicht: (2018)
Semantic properties of logics of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)
Logics of general non-deterministic predicates: semantic aspects
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)
Algebras of general non-deterministic predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2018)
Logics of general non-deterministic predicates: semantic aspects
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Algebras of general non-deterministic predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018)
Renominative logics with extended renomination, equality and predicate complement
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2019)
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2019)
Logics of local equitone predicates: semantic properties and sequential calculuses
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)
Composition nominative modal logics of partial non-monotone predicates and their calculi
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)
Completeness of sequent calculi for modal logics of non-monotone partial predicates
von: O. S. Shkilniak, et al.
Veröffentlicht: (2016)
von: O. S. Shkilniak, et al.
Veröffentlicht: (2016)
Composition nominative modal logics of partial non-monotone predicates and their calculi
von: Shkilniak, O.S., et al.
Veröffentlicht: (2018)
von: Shkilniak, O.S., et al.
Veröffentlicht: (2018)
Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)
von: S. S. Shkilniak
Veröffentlicht: (2013)
Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)
von: Shkilniak, S.S.
Veröffentlicht: (2025)
Partial predicates logics induced Kleene's three-valued logics
von: D. B. Buj, et al.
Veröffentlicht: (2015)
von: D. B. Buj, et al.
Veröffentlicht: (2015)
First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)
von: S. S. Shkilniak
Veröffentlicht: (2019)
Ähnliche Einträge
-
Algebras and logics of partial quasiary predicates
von: M. Nikitchenko, et al.
Veröffentlicht: (2017) -
Pure first-order logics of quasiary predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2016) -
Pure first-order logics of quasiary predicates
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2018) -
Logics of quasiary predicates of quantifier-equational level
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015) -
Pure first-order quasiary logics with equality predicates
von: M. S. Nikitchenko, et al.
Veröffentlicht: (2017)