Semantic properties of five-valued logics
Saved in:
| Date: | 2018 |
|---|---|
| Main Authors: | M. S. Nikitchenko, O. V. Shyshatska |
| Format: | Article |
| Language: | English |
| Published: |
2018
|
| Series: | Problems in programming |
| Online Access: | http://jnas.nbuv.gov.ua/article/UJRN-0000853026 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Library portal of National Academy of Sciences of Ukraine | LibNAS |
Institution
Library portal of National Academy of Sciences of Ukraine | LibNASSimilar Items
Semantic properties of five-valued logics
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
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 local equitone predicates: semantic properties and sequential calculuses
by: Nikitchenko, M.S., et al.
Published: (2015)
by: Nikitchenko, M.S., et al.
Published: (2015)
Logics of general non-deterministic predicates: semantic aspects
by: M. S. Nikitchenko, et al.
Published: (2018)
by: M. S. Nikitchenko, et al.
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)
Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
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)
Mitigation of harmonics for five level multilevel inverter with fuzzy logic controller
by: Sujatha, M. S., et al.
Published: (2023)
by: Sujatha, M. S., et al.
Published: (2023)
Linear Logical Transformations is in the Semantic Marking Problem of Text
by: I. D. Vechirskaja, et al.
Published: (2013)
by: I. D. Vechirskaja, et al.
Published: (2013)
Defining degree of semantic similarity using description logic tools
by: Zakharova, O.V.
Published: (2021)
by: Zakharova, O.V.
Published: (2021)
Defining degree of semantic similarity using description logic tools
by: O. V. Zakharova
Published: (2021)
by: O. V. Zakharova
Published: (2021)
Defining degree of semantic similarity using description logic tools
by: Zakharova, O.V.
Published: (2021)
by: Zakharova, O.V.
Published: (2021)
Defining degree of semantic similarity using description logic tools
by: Zakharova, O.V.
Published: (2021)
by: Zakharova, O.V.
Published: (2021)
Defining degree of semantic similarity using description logic tools
by: O. Zakharova
Published: (2021)
by: O. Zakharova
Published: (2021)
The Logical-Semantic Basis for Formation of Main Components of Enterprise Strategy
by: Ya. O. Poliakova
Published: (2016)
by: Ya. O. Poliakova
Published: (2016)
Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)
by: Nikitchenko, M.S., et al.
Published: (2015)
Algebras and logics of partial quasiary predicates
by: M. Nikitchenko, et al.
Published: (2017)
by: M. Nikitchenko, et al.
Published: (2017)
Algebras and logics of partial quasiary predicates
by: Nikitchenko, M., et al.
Published: (2017)
by: Nikitchenko, M., et al.
Published: (2017)
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 logics of quasiary predicates
by: M. S. Nikitchenko, et al.
Published: (2016)
by: M. S. Nikitchenko, et al.
Published: (2016)
Logics of quasiary predicates of quantifier-equational level
by: Nikitchenko, M.S., et al.
Published: (2015)
by: Nikitchenko, M.S., et al.
Published: (2015)
On Lappan's five-valued theorem for $\varphi$-normal functions in several variables
by: Datt, G., et al.
Published: (2022)
by: Datt, G., et al.
Published: (2022)
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)
Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)
by: Nikitchenko, M.S., et al.
Published: (2018)
First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)
by: Nikitchenko, M.S., et al.
Published: (2025)
On Lappan's five-valued theorem for φ-normal functions in several variables
by: G. Datt
Published: (2022)
by: G. Datt
Published: (2022)
Applying Description Logics with Concrete Domains to Solve the Problems of Semantic Web Services Discovery and Composition
by: Zakharova, O.V.
Published: (2023)
by: Zakharova, O.V.
Published: (2023)
Act of value-representation: phenomeno¬logical analysis
by: T. Fostiak
Published: (2018)
by: T. Fostiak
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)
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)
Electret properties of Ca₅Nb₄TiO₁₇ with five-layered perovskite-like structure
by: Titov, Y.O., et al.
Published: (2017)
by: Titov, Y.O., et al.
Published: (2017)
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)
Properties of the logical consequence operation and its relationship with the independence of propositional logic
by: T. Öner, et al.
Published: (2018)
by: T. Öner, et al.
Published: (2018)
Properties of the logical consequence operation and its
relationship with the independence of propositional logic
by: Öner, G., et al.
Published: (2018)
by: Öner, G., et al.
Published: (2018)
Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2023)
by: Letychevskyi, O.O., et al.
Published: (2023)
Formal semantics and analysis of tokenomics properties
by: Letychevskyi, O.O., et al.
Published: (2022)
by: Letychevskyi, O.O., et al.
Published: (2022)
Five postulates of new economic theory
by: V. Riaboshlyk
Published: (2016)
by: V. Riaboshlyk
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)
Spinors in Five-Dimensional Contact Geometry
by: Eastwood, Michael, et al.
Published: (2022)
by: Eastwood, Michael, et al.
Published: (2022)
Similar Items
-
Semantic properties of five-valued logics
by: Nikitchenko, M.S., et al.
Published: (2018) -
Semantic properties of logics of general non-deterministic predicates
by: M. S. Nikitchenko, et al.
Published: (2017) -
Logics of local equitone predicates: semantic properties and sequential calculuses
by: Nikitchenko, M.S., et al.
Published: (2015) -
Logics of general non-deterministic predicates: semantic aspects
by: M. S. Nikitchenko, et al.
Published: (2018) -
Logics with quasiary and N-ary predicates: semantic and syntastic aspects
by: M. S. Nikitchenko, et al.
Published: (2016)