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

Abstract

In the paper the institution for many-sorted first-order composition-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.

Keywords

• Institution theory
• many-sorted nominative data
• irrefutability