Spectrum of sequential number pershopordinal compositional-nominative logics
Prombles in programming 2013; 3: 22-37
Saved in:
Date: | 2025 |
---|---|
Main Author: | Shkilnyak, S.S. |
Format: | Article |
Language: | Ukrainian |
Published: |
Інститут програмних систем НАН України
2025
|
Subjects: | |
Online Access: | https://pp.isofts.kiev.ua/index.php/ojs1/article/view/750 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Journal Title: | Problems in programming |
Institution
Problems in programmingSimilar Items
-
First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025) -
First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019) -
Composition-nominative logics of free-quantifier levels
by: Shkilniak, S.S., et al.
Published: (2018) -
Composition nominative modal logics of partial non-monotone predicates and their calculi
by: Shkilniak, O.S., et al.
Published: (2018) -
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
by: Shkilniak, O.S.
Published: (2018)