Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement

Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement

Saved in:
Bibliographic Details
Date:2020
Main Authors: M. S. Nikitchenko, O. S. Shkilniak, S. S. Shkilniak
Format: Article
Language:English
Published: 2020
Series:Problems in programming
Online Access:http://jnas.nbuv.gov.ua/article/UJRN-0001163054
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Library portal of National Academy of Sciences of Ukraine | LibNAS

Institution

Library portal of National Academy of Sciences of Ukraine | LibNAS
id open-sciencenbuvgovua-13182
record_format dspace
spelling open-sciencenbuvgovua-131822024-02-25T17:58:57Z Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement M. S. Nikitchenko O. S. Shkilniak S. S. Shkilniak 1727-4907 2020 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0001163054 Article
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
collection Open-Science
language English
series Problems in programming
spellingShingle Problems in programming
M. S. Nikitchenko
O. S. Shkilniak
S. S. Shkilniak
Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
format Article
author M. S. Nikitchenko
O. S. Shkilniak
S. S. Shkilniak
author_facet M. S. Nikitchenko
O. S. Shkilniak
S. S. Shkilniak
author_sort M. S. Nikitchenko
title Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
title_short Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
title_full Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
title_fullStr Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
title_full_unstemmed Sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
title_sort sequent calculi of first-order logics of partial predicates with extended renominations and composition of predicate complement
publishDate 2020
url http://jnas.nbuv.gov.ua/article/UJRN-0001163054
work_keys_str_mv AT msnikitchenko sequentcalculioffirstorderlogicsofpartialpredicateswithextendedrenominationsandcompositionofpredicatecomplement
AT osshkilniak sequentcalculioffirstorderlogicsofpartialpredicateswithextendedrenominationsandcompositionofpredicatecomplement
AT ssshkilniak sequentcalculioffirstorderlogicsofpartialpredicateswithextendedrenominationsandcompositionofpredicatecomplement
first_indexed 2025-07-17T12:27:55Z
last_indexed 2025-07-17T12:27:55Z
_version_ 1837897137165172736

Similar Items