Cover Image

Composition-nominative logics of free-quantifier levels

Free-quantifier composition nominative logics of partial quasiary predicates are considered. We specify the following levels of these logics: renominative, renominative with predicates of weak equality, renominative with predicates of strong equality, free-quantifier, free-quantifier with compositio...

Full description

Saved in:

Bibliographic Details
Published in:	PROBLEMS IN PROGRAMMING
Date:	2018
Issue:	2-3
Pages:	38-47
ISSN:	1727-4907
Author Affiliations:	S.S. Shkilniak — Kiev Taras Shevchenko National University D.B. Volkovytskyi — Kiev Taras Shevchenko National University
Keywords:	суперпозиція, рівність, логічний наслідок, рівноправність, логіка, предикація, недетермінований предикат, квазіарний предикат, предикативність, то- чка рівноваги
Main Authors:	Shkilniak, S.S., Volkovytskyi, D.B.
Format:	Article
Language:	Ukrainian
Published:	PROBLEMS IN PROGRAMMING 2018
Subjects:	free-quantifier logic predicate renomination superposition equality logical consequence UDC 004.42:510.69
Online Access:	https://pp.isofts.kiev.ua/index.php/ojs1/article/view/180
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

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

Pure first-order quasiary logics with equality predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

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

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

Pure first-order logics of quasiary predicates
by: Nikitchenko, M.S., et al.
Published: (2018)

Logics of general non-deterministic predicates: semantic aspects
by: Nikitchenko, M.S., et al.
Published: (2018)

Propositional logics of partial predicates with composition of predicate complement
by: Nikitchenko, M.S., et al.
Published: (2019)

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

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

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

First-order logics with partial predicates for checking variable definedness
by: Shkilniak, S.S.
Published: (2025)

Algebras of quasiary and of bi-quasiary relations
by: Nikitchenko, M.S., et al.
Published: (2018)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
by: Shkilniak, O.S.
Published: (2019)

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

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

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

Sequent calculi for logics of free-quantifier functional levels
by: S. S. Shkilniak, et al.
Published: (2016)

Сoordinated description of algorithms within the framework of algebraic vehicle
by: Akulovskiy, V.G., et al.
Published: (2025)

Development of Web-prototype for analysis of statements in social network Twitter
by: Glybovets, A.M., et al.
Published: (2019)

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

Relations of logical consequence in composition nominative logics
by: Shkilnyak, S.S.
Published: (2025)

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

Compositional-nominative modal logics of the functional-equational level
by: Shkilniak, O.S.
Published: (2026)

Logical view for construction-synthesis model of data structures
by: Shynkarenko, V.I., et al.
Published: (2025)

Integration of the description logics with operations at role constructors into relational data model
by: Chystiakova, I.S.
Published: (2018)

Integration of the family of extended description logic languages with relational data model
by: Reznichenko, V.A., et al.
Published: (2018)

Тропосферный озон как опасный загрязнитель атмосферы
by: Шаврина, А.В., et al.
Published: (2003)

Измерение и моделирование общего и тропосферного озона
by: Велесь, А.А., et al.
Published: (2003)

Stratwarm and solar activity
by: Lorenc, M.
Published: (2003)

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

Renominative logics of quasiary predicates
by: S. S. Shkilniak, et al.
Published: (2016)

Encoding as a means of protecting information in systems of access control using time-logic functions in the form of polynomials and biometric data of subjects
by: Sachaniuk-Kavets’ka, N. V.
Published: (2018)

Algebras of generalized tree languages with fixed variables
by: Phuapong, S., et al.
Published: (2024)

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

THE INFLUENCE OF EXHAUST GAS RECIRCULATION ON A CRDI DIESEL ENGINE OPERATING ON BIODIESEL ANALYSED USING A FUZZY LOGIC MODEL
by: Narayanan , Th., et al.
Published: (2025)

A hybrid renewable energy production system using a smart controller based on fuzzy logic
by: Ali Moussa, M., et al.
Published: (2022)

Photovoltaic fault diagnosis algorithm using fuzzy logic controller based on calculating distortion ratio of values
by: Lahiouel, Y., et al.
Published: (2023)

Structure of relatively free trioids
by: Zhuchok, A. V.
Published: (2021)

Free commutative dimonoids
by: Zhuchok, Anatolii V.
Published: (2018)

Type-2 fuzzy logic controller-based maximum power point tracking for photovoltaic system
by: Boudia, A., et al.
Published: (2025)