A rule-completeness theorem
Notre Dame Journal of Formal Logic 4 (1):39-43 (1963)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,865 |
| External links |
  Try with proxy. |
| Through your library | Configure |
Similar books and articlesKosta Došen (1996). Deductive Completeness. Bulletin of Symbolic Logic 2 (3):243-283.
Hiroakira Ono (1985). Semantical Analysis of Predicate Logics Without the Contraction Rule. Studia Logica 44 (2):187 - 196.
Douglas N. Hoover (1987). An Analytic Completeness Theorem for Logics with Probability Quantifiers. Journal of Symbolic Logic 52 (3):802-816.
Paolo Gentilini (1999). Proof-Theoretic Modal PA-Completeness III: The Syntactic Proof. Studia Logica 63 (3):301-310.
Takahiro Seki (2003). A Sahlqvist Theorem for Relevant Modal Logics. Studia Logica 73 (3):383 - 411.
Giovanna Corsi (2002). A Unified Completeness Theorem for Quantified Modal Logics. Journal of Symbolic Logic 67 (4):1483-1510.
Claes Strannegård (1999). Interpretability Over Peano Arithmetic. Journal of Symbolic Logic 64 (4):1407-1425.
Stephen L. Bloom (1973). Extensions of Gödel's Completeness Theorem and the Löwenheim-Skolem Theorem. Notre Dame Journal of Formal Logic 14 (3):408-410.
J. A. Kalman (1982). The Two-Property and Condensed Detachment. Studia Logica 41 (2-3):173 - 179.
Robert K. Meyer (1998). ÂE is Admissible in ÂTrueâ Relevant Arithmetic. Journal of Philosophical Logic 27 (4):327-351.
Yuichi Komori (1986). A New Semantics for Intuitionistic Predicate Logic. Studia Logica 45 (1):9 - 17.
Dick Jongh, Marc Jumelet & Franco Montagna (1991). On the Proof of Solovay's Theorem. Studia Logica 50 (1):51 - 69.
Analytics
Monthly downloads |
Added to index2010-08-24Total downloads8 ( #124,537 of 556,807 )Recent downloads (6 months)3 ( #27,255 of 556,807 )How can I increase my downloads? |
My notes
Discussion
