Construction of Sequent Calculi for First-order Logics of Quasiary Predicates

Gespeichert in:
Bibliographische Detailangaben
Datum:2013
1. Verfasser: S. S. Shkilniak
Format: Artikel
Sprache:Englisch
Veröffentlicht: 2013
Schriftenreihe:Artificial intelligence
Online Zugang:http://jnas.nbuv.gov.ua/article/UJRN-0000357628
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
_version_ 1859538924414697472
author S. S. Shkilniak
author_facet S. S. Shkilniak
author_sort S. S. Shkilniak
collection Open-Science
first_indexed 2025-07-22T10:11:07Z
format Article
id open-sciencenbuvgovua-84115
institution Library portal of National Academy of Sciences of Ukraine | LibNAS
language English
last_indexed 2025-07-22T10:11:07Z
publishDate 2013
record_format dspace
series Artificial intelligence
spelling open-sciencenbuvgovua-841152024-04-16T18:36:32Z Construction of Sequent Calculi for First-order Logics of Quasiary Predicates S. S. Shkilniak 2710-1673 2013 en Artificial intelligence http://jnas.nbuv.gov.ua/article/UJRN-0000357628 Article
spellingShingle Artificial intelligence
S. S. Shkilniak
Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
title Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
title_full Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
title_fullStr Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
title_full_unstemmed Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
title_short Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
title_sort construction of sequent calculi for first-order logics of quasiary predicates
url http://jnas.nbuv.gov.ua/article/UJRN-0000357628
work_keys_str_mv AT ssshkilniak constructionofsequentcalculiforfirstorderlogicsofquasiarypredicates