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
Published in:	PROBLEMS IN PROGRAMMING
Date:	2025
Issue:	1
Pages:	15-38
ISSN:	1727-4907
Author Affiliations:	S.S. Shkilnyak — Kiev Taras Shevchenko National University
Keywords:	композиційно-номінативна логіка, композиційно-номінативні мови, логіко-семантичне представлення, композиційна алгебра, логічний наслідок, логіка, багатозначна логіка, композиція, композиційна структура, логіко-лінгвістичний опис
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-nominative modal logics of the functional-equational level
by: Shkilniak, O.S.
Published: (2026)

Specification Based Program Construction and Verification in Composition-Nominative Language CNLS
by: Bezverha, M.A., et al.
Published: (2026)

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

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

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

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

Query optimization from DL/1 (IMS) to sol
by: Anisimov, A.V., et al.
Published: (2026)

Specialities of management processes in case of software systems families creation
by: Lavrischeva, К.М., et al.
Published: (2026)

Modelling technology based on fuzzy Bayesian belief networks
by: Parasyuk, I.M., et al.
Published: (2026)

Problem of reengineering of legacy-software systems
by: Pashkovets, N.D., et al.
Published: (2026)

Automated creation of rules fo data access control by resources using DBMS
by: Blazhko, A.A., et al.
Published: (2026)

Fuzzy models of multiagent systems in distributed environment
by: Parasyuk, I.N., et al.
Published: (2026)

Engineering of software development processes quality by means of Petri Nets
by: Matveeva, L.E.
Published: (2026)

The descriptive foundations of the ontological platform
by: Redko, V.N, et al.
Published: (2026)

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

Basic approaches for creating ontological graph-oriented description of application
by: Zakharova, O.V.
Published: (2026)

Compositional-nominative logics over hierarchical data
by: Nikitchenko, M.S., et al.
Published: (2026)

AN Improvement of software faults’ residual density continuous predicting with bayesian net and value tree
by: Slabospickaya, O.O.
Published: (2026)

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

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

Composition-nominative logics of free-quantifier levels
by: Shkilniak, S.S., et al.
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 quasiary predicates
by: Shkilniak, O.S.
Published: (2018)

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

The origin and interpretation of Kleene three-valued logics
by: Shishatska, O.V.
Published: (2026)

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

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)

Formal-logical approach to building analysis systems of knowledge in different domains
by: Palagin, O.V., et al.
Published: (2026)

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

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

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

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

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

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

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)

Properties of the logical consequence operation and its relationship with the independence of propositional logic
by: T. Öner, et al.
Published: (2018)

Approaches and tasks to the composition of services in the semantic web environment
by: Deretsky, V.A.
Published: (2026)

Approach to determination of completeness of composition of Semantic Web-services
by: Deretsky, V.A.
Published: (2026)