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. |
Year | DOI | Venue |
---|---|---|
2007 | 10.1007/s11225-007-9022-4 | Studia Logica |
Keywords | Field | DocType |
institution,Robinson consistency,Craig interpolation,elementary diagram,many-sorted first-order logic | Discrete mathematics,Algebra,Computational linguistics,Algorithm,Elementary diagram,Syntax,Predicate logic,Mathematics,Craig interpolation | Journal |
Volume | Issue | Citations |
85 | 1 | 14 |
PageRank | References | Authors |
0.63 | 23 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Daniel Găină | 1 | 42 | 5.30 |
Andrei Popescu | 2 | 454 | 40.04 |