Logical consequence relations in logics of monotone predicates and logics of antitone predicates

Збережено в:
Бібліографічні деталі
Дата:2017
Автор: O. S. Shkilniak
Формат: Стаття
Мова:English
Опубліковано: 2017
Назва видання:Problems in programming
Онлайн доступ:http://jnas.nbuv.gov.ua/article/UJRN-0000687273
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Репозитарії

Library portal of National Academy of Sciences of Ukraine | LibNAS
id open-sciencenbuvgovua-35694
record_format dspace
spelling open-sciencenbuvgovua-356942024-02-29T11:28:26Z Logical consequence relations in logics of monotone predicates and logics of antitone predicates O. S. Shkilniak 1727-4907 2017 en Problems in programming http://jnas.nbuv.gov.ua/article/UJRN-0000687273 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
O. S. Shkilniak
Logical consequence relations in logics of monotone predicates and logics of antitone predicates
format Article
author O. S. Shkilniak
author_facet O. S. Shkilniak
author_sort O. S. Shkilniak
title Logical consequence relations in logics of monotone predicates and logics of antitone predicates
title_short Logical consequence relations in logics of monotone predicates and logics of antitone predicates
title_full Logical consequence relations in logics of monotone predicates and logics of antitone predicates
title_fullStr Logical consequence relations in logics of monotone predicates and logics of antitone predicates
title_full_unstemmed Logical consequence relations in logics of monotone predicates and logics of antitone predicates
title_sort logical consequence relations in logics of monotone predicates and logics of antitone predicates
publishDate 2017
url http://jnas.nbuv.gov.ua/article/UJRN-0000687273
work_keys_str_mv AT osshkilniak logicalconsequencerelationsinlogicsofmonotonepredicatesandlogicsofantitonepredicates
first_indexed 2025-07-17T18:00:05Z
last_indexed 2025-07-17T18:00:05Z
_version_ 1850414872907481088