An Institution-Independent Proof of the Robinson Consistency Theorem
Studia Logica 85 (1):41 - 73 (2007)
| Abstract | We prove an institutional version of A. Robinson's Consistency Theorem. This result is then applied to 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. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,664 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesDaniel Gâinâ & Andrei Popescu (2007). An Institution-Independent Proof of the Robinson Consistency Theorem. Studia Logica 85 (1).
Răzvan Diaconescu (2004). An Institution-Independent Proof of Craig Interpolation Theorem. Studia Logica 77 (1):59 - 79.
Hiroakira Ono (1986). Craig's Interpolation Theorem for the Intuitionistic Logic and its Extensions—a Semantical Approach. Studia Logica 45 (1):19 - 33.
M. Aiguier & F. Barbier (2007). An Institution-Independent Proof of the Beth Definability Theorem. Studia Logica 85 (3):333 - 359.
Raymond D. Gumb (2001). An Extended Joint Consistency Theorem for a Nonconstructive Logic of Partial Terms with Definite Descriptions. Studia Logica 69 (2):279-292.
Larisa L. Maksimova (1979). Interpolation Properties of Superintuitionistic Logics. Studia Logica 38 (4):419 - 428.
Frederik Herzberg (2013). The Consistency of Probabilistic Regresses: Some Implications for Epistemological Infinitism. Erkenntnis 78 (2):371-382.
Dan E. Willard (2002). How to Extend the Semantic Tableaux and Cut-Free Versions of the Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. Journal of Symbolic Logic 67 (1):465-496.
Dan E. Willard (2006). On the Available Partial Respects in Which an Axiomatization for Real Valued Arithmetic Can Recognize Its Consistency. Journal of Symbolic Logic 71 (4):1189 - 1199.
Mihai Codescu & Daniel Găină (forthcoming). Birkhoff Completeness in Institutions. Logica Universalis.
Daniele Mundici (1981). An Algebraic Result About Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. Journal of Symbolic Logic 46 (3):523-530.
Solomon Feferman (2008). Harmonious Logic: Craig's Interpolation Theorem and Its Descendants. Synthese 164 (3):341 - 357.
Richard Zach (2004). Hilbert's 'Verunglückter Beweis', the First Epsilon Theorem, and Consistency Proofs. History and Philosophy of Logic 25 (2):79-94.
Jan Krajíček (1998). Discretely Ordered Modules as a First-Order Extension of the Cutting Planes Proof System. Journal of Symbolic Logic 63 (4):1582-1596.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
