An institution-independent proof of the Robinson Consistency Theorem

Daniel Mircea Gaina; Andrei Popescu

doi:10.1007/s11225-007-9022-4

An institution-independent proof of the Robinson Consistency Theorem

Daniel Mircea Gaina, Andrei Popescu

Research output: Contribution to journal › Article › peer-review

18 Citations (Scopus)

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	https://doi.org/10.1007/s11225-007-9022-4
Publication status	Published - Jan 1 2007
Externally published	Yes

All Science Journal Classification (ASJC) codes

Logic
History and Philosophy of Science

Access to Document

10.1007/s11225-007-9022-4

Cite this

@article{7f7c6372a3414b5c9100f179d20b341c,

title = "An institution-independent proof of the Robinson Consistency Theorem",

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.",

author = "Gaina, {Daniel Mircea} and Andrei Popescu",

year = "2007",

month = jan,

day = "1",

doi = "10.1007/s11225-007-9022-4",

language = "English",

volume = "85",

pages = "41--73",

journal = "Studia Logica",

issn = "0039-3215",

publisher = "Springer Netherlands",

number = "1",

}

TY - JOUR

T1 - An institution-independent proof of the Robinson Consistency Theorem

AU - Gaina, Daniel Mircea

AU - Popescu, Andrei

PY - 2007/1/1

Y1 - 2007/1/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=33847268365&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=33847268365&partnerID=8YFLogxK

U2 - 10.1007/s11225-007-9022-4

DO - 10.1007/s11225-007-9022-4

M3 - Article

AN - SCOPUS:33847268365

VL - 85

SP - 41

EP - 73

JO - Studia Logica

JF - Studia Logica

SN - 0039-3215

IS - 1

ER -

An institution-independent proof of the Robinson Consistency Theorem

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this