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: |
PROBLEMS IN PROGRAMMING
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 |
| Download file: | |
Institution
Problems in programmingSimilar Items
-
First-order composition-nominative logics with generalized renominations
by: Nikitchenko, M.S., et al.
Published: (2025) -
Special relations of logical consequence in logics of quasi-ary predicates
by: Shkilniak, S.S.
Published: (2025) -
First-order composition-nominative logics with predicates of weak equality and of strong equality
by: Shkilniak, S.S.
Published: (2019) -
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: Shkilniak, S.S., et al.
Published: (2018)