RO  EN
IMI/Publicaţii/CSJM/Ediţii/CSJM v.24, n.1 (70), 2016/

Many-Sorted First-Order Composition-Nominative Logic as Institution

Authors: Alexey Chentsov
Keywords: Institution theory, many-sorted nominative data, irrefutability.

Abstract

In the paper the institution for many-sorted first-order compo\-sition-nominative logic (CNL) is considered. The difference from the author's previous paper on this topic is richer logical system in question due to addition of operations and sorts, and also a slightly weakened constraint on signature morphisms regarding the set of names. The satisfaction condition is proven. Some directions for further research are outlined.

Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590511
E-mail:

Creative Commons License
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License




Fulltext

Adobe PDF document0.20 Mb