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.
Original language | English |
---|---|
Pages (from-to) | 41-73 |
Number of pages | 33 |
Journal | Studia Logica |
Volume | 85 |
Issue number | 1 |
DOIs | |
Publication status | Published - Jan 1 2007 |
Externally published | Yes |
All Science Journal Classification (ASJC) codes
- Logic
- History and Philosophy of Science