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

Gespeichert in:
Bibliographische Detailangaben
Datum:2017
1. Verfasser: O. S. Shkilniak
Format: Artikel
Sprache:English
Veröffentlicht: 2017
Schriftenreihe:Problems in programming
Online Zugang:http://jnas.nbuv.gov.ua/article/UJRN-0000687273
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Library portal of National Academy of Sciences of Ukraine | LibNAS

Institution

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_ 1837918455699865600