Відношення логічного наслідку в композиційно-номінативних логіках

dc.contributor.author	Шкільняк, С.С.
dc.date.accessioned	2010-03-11T11:36:38Z
dc.date.available	2010-03-11T11:36:38Z
dc.date.issued	2010
dc.identifier.citation	Відношення логічного наслідку в композиційно-номінативних логіках / С.С. Шкільняк // Пробл. програмув. — 2010. — № 1. — С. 15-38. — Бібліогр.: 5 назв. — укр.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/6594
dc.description.abstract	Досліджуються семантичні властивості композиційно-номінативних логік часткових однозначних, тотальних та часткових неоднозначних предикатів пропозиційного, реномінативного та кванторного рівнів. Вивчаються відношення логічного наслідку для пар та множин формул, відношення логічної еквівалентності.	uk_UA
dc.description.abstract	Исследуются семантические свойства композиционно-номинативных логик частичиых однозначних, тотальных и частичиых неоднозначных предикатов пропозиционального, реноминативного и кванторного уровней. Изучаются отношения логического следствия для пар и множеств формул, отношения логической эквивалентности.	uk_UA
dc.description.abstract	Semantic properties of composition nominative logics of partial single-valued, total and partial ambiguous predicates of propositional, renominative and quantifier levels are studied. Relations of logical consequence for pairs and sets of formulas, and relations of logical equivalence are investigated.	uk_UA
dc.language.iso	uk	uk_UA
dc.publisher	Інститут програмних систем НАН України	uk_UA
dc.subject	Теоретичні та методологічні основи програмування	uk_UA
dc.title	Відношення логічного наслідку в композиційно-номінативних логіках	uk_UA
dc.title.alternative	Отношения логического следования в композиционно-номинативных логиках	uk_UA
dc.title.alternative	Relations of logical consequence in composition nominative logics	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	681.3.06