An Institution-Independent Proof of the Robinson Consistency Theorem

&
Studia Logica 85 (1):41-73 (2007)
  Copy   BIBTEX

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

Categories

Keywords

Reprint years

DOI

10.1007/s11225-007-9022-4

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Consistency and interpolation in linear continuous logic.Mahya Malekghasemi & Seyed-Mohammad Bagheri - 2023 - Archive for Mathematical Logic 62 (7):931-939.
An extended joint consistency theorem for a nonconstructive logic of partial terms with definite descriptions.Raymond D. Gumb - 2001 - Studia Logica 69 (2):279-292.
An Institution-independent Proof of the Beth Definability Theorem.M. Aiguier & F. Barbier - 2007 - Studia Logica 85 (3):333-359.
Applications of Many‐Sorted Robinson Consistency Theorem.Daniele Mundici - 1981 - Mathematical Logic Quarterly 27 (11-12):181-188.
An institution-independent proof of Craig interpolation theorem.Răzvan Diaconescu - 2004 - Studia Logica 77 (1):59 - 79.
Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
On the Proof-Theory of two Formalisations of Modal First-Order Logic.Yehuda Schwartz & George Tourlakis - 2010 - Studia Logica 96 (3):349-373.
Forcing, Downward Löwenheim-Skolem and Omitting Types Theorems, Institutionally.Daniel Găină - 2014 - Logica Universalis 8 (3-4):469-498.
Interpolation in Extensions of First-Order Logic.Guido Gherardi, Paolo Maffezioli & Eugenio Orlandelli - 2020 - Studia Logica 108 (3):619-648.
Geometry of Robinson consistency in Łukasiewicz logic.Manuela Busaniche & Daniele Mundici - 2007 - Annals of Pure and Applied Logic 147 (1):1-22.

Analytics

Added to PP
2009-01-28

Downloads
115 (#186,820)

6 months
13 (#258,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrei Popescu
Politehnica University of Bucharest

Citations of this work

Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Abstract Categorical Logic.Marc Aiguier & Isabelle Bloch - 2023 - Logica Universalis 17 (1):23-67.
Saturated models in institutions.Răzvan Diaconescu & Marius Petria - 2010 - Archive for Mathematical Logic 49 (6):693-723.

View all 6 citations / Add more citations

References found in this work

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
[Omnibus Review].H. Jerome Keisler - 1970 - Journal of Symbolic Logic 35 (2):342-344.

View all 6 references / Add more references