, Volume 85, Issue 1, pp 41-73
Date: 01 Feb 2007

An Institution-Independent Proof of the Robinson Consistency Theorem

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.

Presented by Robert Goldblatt