Cover Image

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...

Full description

Saved in:

Bibliographic Details
Date:	2025
Main Author:	Shkilnyak, S.S.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2025
Subjects:	UDC 681.3.06
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/844
Tags:	Add Tag No Tags, Be the first to tag this record!
Journal Title:	Problems in programming
Download file:

Institution

Problems in programming

Similar Items

Compositional logics of nominative data
by: Nikitchenko, M.S., et al.
Published: (2015)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
by: Radetskyi, I.O.
Published: (2025)

Variability assurance mechanisms in Software Product Line
by: Kolesnik, A.L.
Published: (2025)

Тechnology of security confidential information from inside threats
by: Antoniuk, A.A., et al.
Published: (2025)

Approaches to configuring reusable assets
by: Kolesnik, A.L.
Published: (2025)

Development of a spiral model of life cycle of the program systems
by: Alekseev, V.A., et al.
Published: (2015)

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

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

Spectrum of sequential number pershopordinal compositional-nominative logics
by: Shkilnyak, S.S.
Published: (2025)

Virtual museum of informatics history in Siberia
by: Kasyanov, V.N., et al.
Published: (2015)

Ontological design of subject domain with problems of e-Science
by: Zinkovich, V.M.
Published: (2025)

Sequent calculi of composition nominative modal logics of functional-equational level
by: Shkilnyak, O.S.
Published: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025)

First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025)

Composition-nominative logics of free-quantifier levels
by: Shkilniak, S.S., et al.
Published: (2018)

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

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
by: Bača, J., et al.
Published: (2015)

Logical consequence relations in logics of quasiary predicates
by: Shkilniak, O.S.
Published: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: Shkilniak, O.S.
Published: (2019)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019)

Recurrent neural networks for the problem of improving numerical meteorological forecasts
by: Doroshenko, А.Yu., et al.
Published: (2023)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
by: O. S. Shkilniak
Published: (2019)

Logical consequence relations in logics of quasiary predicates
by: O. S. Shkilniak
Published: (2016)

Application of machine learning to improving numerical weather prediction
by: Doroshenko, А.Yu., et al.
Published: (2020)

Composition-nominative logics of free-quantifier levels
by: S. S. Shkilniak, et al.
Published: (2016)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: O. S. Shkilniak
Published: (2017)

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

Deeplearning-based approach to improving numerical weather forecasts
by: Doroshenko, А.Yu., et al.
Published: (2023)

Architecture of software system for hierarchical fuzzy inference
by: Yershov, S.V., et al.
Published: (2018)

Automatic development of deep neural networks for improving numerical meteorological forecast
by: Doroshenko, А.Yu., et al.
Published: (2024)

Construction of sequent calculi of composition-nominative multimodal logics
by: Shkilniak, O.S.
Published: (2025)

Properties of Logical Consequence Relations in Logics of Quasi-Ary Predicates
by: S. S. Shkilniak
Published: (2013)

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

Agent model of information retrieval on the basis of beehive metaphor
by: Remarovich, S.S.
Published: (2025)

First-order composition-nominative logics with predicates of weak equality and of strong equality
by: S. S. Shkilniak
Published: (2019)

Comparative characteristics of methods of object-relational mapping
by: Lihatsky, I.A.
Published: (2025)

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
by: Shkilniak, О.S., et al.
Published: (2024)

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

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