An Institution-Independent Proof of the Robinson Consistency Theorem |
| |
| Authors: | Daniel Gâinâ Andrei Popescu |
| |
| Affiliation: | (1) Şcoala Normala Superioara, Bucharest, Romania;(2) Dept. of Fundamentals of Computer Science Faculty of Mathematics and Informatics, University of Bucharest, Bucharest, Romania |
| |
| 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 |
| |
| Keywords: | institution Robinson consistency Craig interpolation elementary diagram many-sorted first-order logic |
| 本文献已被 SpringerLink 等数据库收录！ |
