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

Sequent calculi of composition nominative modal logics of functional-equational level

Composition nominative modal and temporal logics of functional-equational level are studied in this paper. Basing on properties of relation of logical consequence for sets of formulas, sequent calculi are constructed for general and temporal logics of such level. The soundness and completeness theor...

Повний опис

Збережено в:

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

Репозитарії

Problems in programming

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

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

Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: Shkilniak, O.S., та інші
Опубліковано: (2018)

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

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2020)

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

Modal logics of partial quasiary pradicates with equality and sequent calculi of this logics
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2024)

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

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

Construction of sequent calculi of composition-nominative multimodal logics
за авторством: Shkilniak, O.S.
Опубліковано: (2025)

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

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)

Propositional logics of partial predicates with composition of predicate complement
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2019)

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

First-order sequent calculi of logics of quasiary predicates with extended renominations and equality
за авторством: Shkilniak, О.S., та інші
Опубліковано: (2023)

Composition nominative modal logics of partial non-monotone predicates and their calculi
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2017)

Completeness of sequent calculi for modal logics of non-monotone partial predicates
за авторством: O. S. Shkilniak, та інші
Опубліковано: (2016)

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

Relations of logical consequence in composition nominative logics
за авторством: Shkilnyak, S.S.
Опубліковано: (2025)

Pure first-order logics of quasiary predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Pure first-order quasiary logics with equality predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Logics of general non-deterministic predicates: semantic aspects
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Semantic properties of five-valued logics
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Algebras of general non-deterministic predicates
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Sequent Calculi for Temporal and Multimodal Logics of Partial Predicates
за авторством: O. S. Shkilniak
Опубліковано: (2013)

Deviant truth-values algebras and deviant classes of general non-deterministic predicates 14 Software environment and tools
за авторством: Shkilniak, O.S.
Опубліковано: (2019)

Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
за авторством: S. S. Shkilniak
Опубліковано: (2013)

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
за авторством: M. S. Nikitchenko, та інші
Опубліковано: (2020)

Sequent calculi for first-order logics of single-valued quasi-ary predicates
за авторством: Shkilniak, S.S.
Опубліковано: (2018)

Algebras of quasiary and of bi-quasiary relations
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2018)

Logical view for construction-synthesis model of data structures
за авторством: Shynkarenko, V.I., та інші
Опубліковано: (2025)

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

First-order logics with partial predicates for checking variable definedness
за авторством: Shkilniak, S.S.
Опубліковано: (2025)

Designers sets and multisets of objects
за авторством: Terletskyi, D.O.
Опубліковано: (2025)

Mathematical foundations for designing and development of intelligent systems of information analysis
за авторством: Terletskyi, D.O., та інші
Опубліковано: (2025)

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

Walsh-Related Functions of Sequention System
за авторством: Ja. Beletskij
Опубліковано: (2017)

The technique of using Description Logics in the process of constructing a composite service at the functional level
за авторством: Zakharova, O.V.
Опубліковано: (2018)

The author&#039;s modality of esthetic nominations of space in Galyna Pagutiak&#039;s prose scale
за авторством: L. Holoiukh
Опубліковано: (2017)

Logics of quasiary predicates of quantifier-equational level
за авторством: Nikitchenko, M.S., та інші
Опубліковано: (2015)