Sequent calculi for logics of free-quantifier functional levels

Saved in:

Bibliographic Details
Date:	2016
Main Authors:	S. S. Shkilniak, D. B. Volkovytskyi
Format:	Article
Language:	English
Published:	2016
Series:	Artificial intelligence
Online Access:	http://jnas.nbuv.gov.ua/article/UJRN-0000786090
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-53527
record_format	dspace
spelling	open-sciencenbuvgovua-535272024-02-29T13:12:06Z Sequent calculi for logics of free-quantifier functional levels S. S. Shkilniak D. B. Volkovytskyi 2710-1673 2016 en Artificial intelligence http://jnas.nbuv.gov.ua/article/UJRN-0000786090 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 D. B. Volkovytskyi Sequent calculi for logics of free-quantifier functional levels
format	Article
author	S. S. Shkilniak D. B. Volkovytskyi
author_facet	S. S. Shkilniak D. B. Volkovytskyi
author_sort	S. S. Shkilniak
title	Sequent calculi for logics of free-quantifier functional levels
title_short	Sequent calculi for logics of free-quantifier functional levels
title_full	Sequent calculi for logics of free-quantifier functional levels
title_fullStr	Sequent calculi for logics of free-quantifier functional levels
title_full_unstemmed	Sequent calculi for logics of free-quantifier functional levels
title_sort	sequent calculi for logics of free-quantifier functional levels
publishDate	2016
url	http://jnas.nbuv.gov.ua/article/UJRN-0000786090
work_keys_str_mv	AT ssshkilniak sequentcalculiforlogicsoffreequantifierfunctionallevels AT dbvolkovytskyi sequentcalculiforlogicsoffreequantifierfunctionallevels
first_indexed	2025-07-17T23:27:03Z
last_indexed	2025-07-17T23:27:03Z
_version_	1850416843539349504