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

Saved in:

Bibliographic Details
Date:	2013
Main Author:	S. S. Shkilniak
Format:	Article
Language:	English
Published:	2013
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000357628
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-84115
record_format	dspace
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
institution	Library portal of National Academy of Sciences of Ukraine \| LibNAS
collection	Open-Science
language	English
series	Artificial intelligence
spellingShingle	Artificial intelligence S. S. Shkilniak Construction of Sequent Calculi for First-order Logics of Quasiary Predicates
format	Article
author	S. S. Shkilniak
author_facet	S. S. Shkilniak
author_sort	S. S. Shkilniak
title	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_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_sort	construction of sequent calculi for first-order logics of quasiary predicates
publishDate	2013
url	http://jnas.nbuv.gov.ua/article/UJRN-0000357628
work_keys_str_mv	AT ssshkilniak constructionofsequentcalculiforfirstorderlogicsofquasiarypredicates
first_indexed	2024-04-17T06:00:51Z
last_indexed	2024-04-17T06:00:51Z
_version_	1796886055159332864