Buchumschlag

Relations of logical consequence in composition nominative logics

Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigat...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Datum:	2025
1. Verfasser:	Shkilnyak, S.S.
Format:	Artikel
Sprache:	Ukrainisch
Veröffentlicht:	PROBLEMS IN PROGRAMMING 2025
Schlagworte:	UDC 681.3.06
Online Zugang:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/844
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:	Problems in programming
Завантажити файл:

Institution

Problems in programming

Ähnliche Einträge

Compositional logics of nominative data
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2015)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
von: Radetskyi, I.O.
Veröffentlicht: (2025)

Variability assurance mechanisms in Software Product Line
von: Kolesnik, A.L.
Veröffentlicht: (2025)

Тechnology of security confidential information from inside threats
von: Antoniuk, A.A., et al.
Veröffentlicht: (2025)

Approaches to configuring reusable assets
von: Kolesnik, A.L.
Veröffentlicht: (2025)

Development of a spiral model of life cycle of the program systems
von: Alekseev, V.A., et al.
Veröffentlicht: (2015)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
von: Prihodko, P.P.
Veröffentlicht: (2015)

Применение статистических моделей в инженерии качества процессов производства программных систем
von: Matveeva, L.Е., et al.
Veröffentlicht: (2015)

Spectrum of sequential number pershopordinal compositional-nominative logics
von: Shkilnyak, S.S.
Veröffentlicht: (2025)

Virtual museum of informatics history in Siberia
von: Kasyanov, V.N., et al.
Veröffentlicht: (2015)

Ontological design of subject domain with problems of e-Science
von: Zinkovich, V.M.
Veröffentlicht: (2025)

Sequent calculi of composition nominative modal logics of functional-equational level
von: Shkilnyak, O.S.
Veröffentlicht: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
von: Shkilniak, S.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with generalized renominations
von: Nikitchenko, M.S., et al.
Veröffentlicht: (2025)

Composition-nominative logics of free-quantifier levels
von: Shkilniak, S.S., et al.
Veröffentlicht: (2018)

Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
von: Bača, J., et al.
Veröffentlicht: (2015)

Logical consequence relations in logics of quasiary predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: Shkilniak, O.S.
Veröffentlicht: (2019)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: Shkilniak, O.S.
Veröffentlicht: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: Shkilniak, S.S.
Veröffentlicht: (2019)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
von: O. S. Shkilniak
Veröffentlicht: (2019)

Logical consequence relations in logics of quasiary predicates
von: O. S. Shkilniak
Veröffentlicht: (2016)

Application of machine learning to improving numerical weather prediction
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2020)

Composition-nominative logics of free-quantifier levels
von: S. S. Shkilniak, et al.
Veröffentlicht: (2016)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
von: O. S. Shkilniak
Veröffentlicht: (2017)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: Shkilniak, O.S., et al.
Veröffentlicht: (2018)

Deeplearning-based approach to improving numerical weather forecasts
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2023)

Architecture of software system for hierarchical fuzzy inference
von: Yershov, S.V., et al.
Veröffentlicht: (2018)

Automatic development of deep neural networks for improving numerical meteorological forecast
von: Doroshenko, А.Yu., et al.
Veröffentlicht: (2024)

Construction of sequent calculi of composition-nominative multimodal logics
von: Shkilniak, O.S.
Veröffentlicht: (2025)

Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
von: S. S. Shkilniak
Veröffentlicht: (2013)

Composition nominative modal logics of partial non-monotone predicates and their calculi
von: O. S. Shkilniak, et al.
Veröffentlicht: (2017)

Agent model of information retrieval on the basis of beehive metaphor
von: Remarovich, S.S.
Veröffentlicht: (2025)

First-order composition-nominative logics with predicates of weak equality and of strong equality
von: S. S. Shkilniak
Veröffentlicht: (2019)

Comparative characteristics of methods of object-relational mapping
von: Lihatsky, I.A.
Veröffentlicht: (2025)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
von: Shkilniak, О.S., et al.
Veröffentlicht: (2024)

Method of information obtaining from ontology on the basis of a natural language phrase analysis
von: Litvin, A.A., et al.
Veröffentlicht: (2020)

Algorithm for constructing six-dimensional tensor for the problem finding hidden semantic relations into the case of natural language texts
von: Voznyuk, T.G.
Veröffentlicht: (2025)