We prove an institutional version of A. Robinson’s
Consistency Theorem. This result is then appliedto the institution of many-sorted first-order predicate logic and to two of its variations, infinitary
and partial, obtaining very general syntactic criteria sufficient for a signature square in order to satisfy the Robinson
consistency and Craig interpolation properties.
Keywords institution - Robinson consistency - Craig interpolation - elementary diagram - many-sorted first-order logic
Presented by Robert Goldblatt