Зображення обкладинки

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

Повний опис

Збережено в:

Бібліографічні деталі
Дата:	2025
Автор:	Shkilnyak, S.S.
Формат:	Стаття
Мова:	Українська
Опубліковано:	PROBLEMS IN PROGRAMMING 2025
Теми:	UDC 681.3.06
Онлайн доступ:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/844
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:	Problems in programming
Завантажити файл:

Репозитарії

Problems in programming

Схожі ресурси

Compositional logics of nominative data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)

Compositional-nominative modal logics of the functional-equational level
за авторством: Shkilniak, O.S.
Опубліковано: (2026)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
за авторством: Bezverha, M.A., та інші
Опубліковано: (2026)

Variability assurance mechanisms in Software Product Line
за авторством: Kolesnik, A.L.
Опубліковано: (2025)

One of Approaches to maintenance inter-connection environments Visual Studio and Eclipse
за авторством: Radetskyi, I.O.
Опубліковано: (2025)

Тechnology of security confidential information from inside threats
за авторством: Antoniuk, A.A., та інші
Опубліковано: (2025)

Approaches to configuring reusable assets
за авторством: Kolesnik, A.L.
Опубліковано: (2025)

Development of a spiral model of life cycle of the program systems
за авторством: Alekseev, V.A., та інші
Опубліковано: (2015)

Применение статистических моделей в инженерии качества процессов производства программных систем
за авторством: Matveeva, L.Е., та інші
Опубліковано: (2015)

Towards a possible Background for Synthesis of Programs with Reassignment of the non-monotone deductive System
за авторством: Prihodko, P.P.
Опубліковано: (2015)

Query optimization from DL/1 (IMS) to sol
за авторством: Anisimov, A.V., та інші
Опубліковано: (2026)

Modelling technology based on fuzzy Bayesian belief networks
за авторством: Parasyuk, I.M., та інші
Опубліковано: (2026)

The descriptive foundations of the ontological platform
за авторством: Redko, V.N, та інші
Опубліковано: (2026)

Fuzzy models of multiagent systems in distributed environment
за авторством: Parasyuk, I.N., та інші
Опубліковано: (2026)

Problem of reengineering of legacy-software systems
за авторством: Pashkovets, N.D., та інші
Опубліковано: (2026)

Engineering of software development processes quality by means of Petri Nets
за авторством: Matveeva, L.E.
Опубліковано: (2026)

System of the automated carrying over of contents electronic documents in DB IS
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

Automated creation of rules fo data access control by resources using DBMS
за авторством: Blazhko, A.A., та інші
Опубліковано: (2026)

Spectrum of sequential number pershopordinal compositional-nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Basic approaches for creating ontological graph-oriented description of application
за авторством: Zakharova, O.V.
Опубліковано: (2026)

Sequent calculi of composition nominative modal logics of functional-equational level
за авторством: Shkilnyak, O.S.
Опубліковано: (2025)

Virtual museum of informatics history in Siberia
за авторством: Kasyanov, V.N., та інші
Опубліковано: (2015)

Compositional-nominative logics over hierarchical data
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2026)

Ontological design of subject domain with problems of e-Science
за авторством: Zinkovich, V.M.
Опубліковано: (2025)

Special relations of logical consequence in logics of quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

First-order composition-nominative logics with generalized renominations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2025)

Composition-nominative logics of free-quantifier levels
за авторством: Shkilniak, S.S., та інші
Опубліковано: (2018)

Didactic Version of Program System for Synthesis and Diagnostics of Logic Circuits
за авторством: Bača, J., та інші
Опубліковано: (2015)

The origin and interpretation of Kleene three-valued logics
за авторством: Shishatska, O.V.
Опубліковано: (2026)

Logical consequence relations in logics of quasiary predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

The algebro-logical approach to the analysis and processing of the text information
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: Shkilniak, O.S.
Опубліковано: (2018)

Formal-logical approach to building analysis systems of knowledge in different domains
за авторством: Palagin, O.V., та інші
Опубліковано: (2026)

First-order composition-nominative logics with predicates of weak equality and of strong equality
за авторством: Shkilniak, S.S.
Опубліковано: (2019)

Method of construction of parallel systems for fuzzy logical inference based on GPU accelerators
за авторством: Yershov, S.V., та інші
Опубліковано: (2018)

Relations of logical consequence in logics of partial predicates with composition of predicate complement
за авторством: O. S. Shkilniak
Опубліковано: (2019)

Logical consequence relations in logics of quasiary predicates
за авторством: O. S. Shkilniak
Опубліковано: (2016)

Composition-nominative logics of free-quantifier levels
за авторством: S. S. Shkilniak, та інші
Опубліковано: (2016)

Logical consequence relations in logics of monotone predicates and logics of antitone predicates
за авторством: O. S. Shkilniak
Опубліковано: (2017)