Journal of Symbolic Logic 31 (1):117-118 (1966)
Abstract | This article has no associated abstract. (fix it) |
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Reprint years | 1996 |
DOI | 10.2307/2270644 |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
A Detailed Argument for the Post-Linial Theorems.Mary Katherine Yntema - 1964 - Notre Dame Journal of Formal Logic 5 (1):37-50.
A Detailed Argument for the Post-Linial Theorems.Mary Katherine Yntema - 1966 - Journal of Symbolic Logic 31 (1):117-118.
Cresswell M. J.. A Henkin Completeness Theorem for T. Notre Dame Journal of Formal Logic, Vol. 8 No. 3 , Pp. 186–190.Cresswell M. J.. Alternative Completeness Theorems for Modal Systems. Notre Dame Journal of Formal Logic, Vol. 8 No. 4 , Pp. 339–345.Cresswell M. J.. Some Proofs of Relative Completeness in Modal Logic. Notre Dame Journal of Formal Logic, Vol. 9 No. 1 , Pp. 62–66. [REVIEW]David Makinson - 1970 - Journal of Symbolic Logic 35 (4):581-582.
Bolesław Sobociński. Certain Extensions of Modal System S4. Notre Dame Journal of Formal Logic, Vol. 11 No. 3 , Pp. 347–368. - Bolesław Sobociński. Concerning Some Extensions of S4. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 363–370. - G. F. Schumm. Solutions to Four Modal Problems of Sobocinski. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 335–340. - J. Jay Zeman. A Study of Some Systems in the Neighborhood of S4.4. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 341–357. - Bolesław Sobociński. A New Class of Modal Systems. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 371–377. - Bolesław Sobociński. A Proper Subsystem of S4.04. Notre Dame Journal of Formal Logic, Vol. 12 , Pp. 381–384. [REVIEW]M. J. Cresswell - 1975 - Journal of Symbolic Logic 40 (4):602.
Review: Shigeru Watanabe, Periodicity of Post's Normal Process of Tag. [REVIEW]Mary Katherine Yntema - 1968 - Journal of Symbolic Logic 33 (2):298-298.
Sobociński Bolesław. Remarks About Axiomatizations of Certain Modal Systems. Notre Dame Journal of Formal Logic, Vol. 5 No. 1 , Pp. 71–80.Prior A. N., K1, K2 and Related Modal Systems. Notre Dame Journal of Formal Logic, Vol. 5 No. 4 , Pp. 299–304.Sobociński Bolesław. Modal System S4.4. Notre Dame Journal of Formal Logic, Vol. 5 No. 4 , Pp. 305–312.Sobociński Bolesław. Family of the Non-Lewis Modal Systems. Notre Dame Journal of Formal Logic, Vol. 5 No. 4 , Pp. 313–318.Thomas Ivo. A Theorem on S4.2 and S4.4. Notre Dame Journal of Formal Logic, Vol. 8 No. 4 , Pp. 335–336.Thomas Ivo. Decision for K4. Notre Dame Journal of Formal Logic, Vol. 8 No. 4 , Pp. 337–338. [REVIEW]G. F. Schumm - 1972 - Journal of Symbolic Logic 37 (1):182-183.
The Post-Lineal Theorems for Arbitrary Recursively Enumerable Degrees of Unsolvability.Ann H. Ihrig - 1965 - Notre Dame Journal of Formal Logic 6 (1):54-72.
Ihrig Ann H.. The Post-Lineal Theorems for Arbitrary Recursively Enumerable Degrees of Unsolvability. Notre Dame Journal of Formal Logic, Vol. 6 No. 1 , Pp. 54–72. [REVIEW]Gerald E. Sacks - 1968 - Journal of Symbolic Logic 32 (4):529-529.
Bolesław Sobociński. A Contribution to the Axiomatization of Lewis' System S5. Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 51–63. - Bolesław Sobociński. On the Generalized Brouwerian Axioms.Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 123–128. - Bolesław Sobociński. A Note on Modal Systems.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 155–157. - Ivo Thomas. Solutions of Five Modal Problems of Sobociński.Notre Dame Journal of Formal Logic, Vol. 3 , Pp. 199–200. - Ivo Thomas. S1° and Brouwerian Axioms.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 151–152. - Ivo Thomas. S1° and Generalized Si-Axioms.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 153–154. - Ivo Thomas. A Final Note on S1° and the Brouwerian Axioms.Notre Dame Journal of Formal Logic, Vol. 4 , Pp. 231–232. - Ivo Thomas. Modal Systems in the Neighbourhood of T.Notre Dame Journal of Formal Logic, Vol. 5 No. 1 , Pp. 59–61. - Ivo Thomas. Ten Modal Models. The Journal of Symbolic Logic, Vol. 29 No. 3 , Pp. 125–12. [REVIEW]Nuel D. Belnap - 1966 - Journal of Symbolic Logic 31 (3):498-500.
A Formal System for the Non-Theorems of the Propositional Calculus.Xavier Caicedo - 1978 - Notre Dame Journal of Formal Logic 19:147.
A Formal System for the Non-Theorems of the Propositional Calculus.Xavier Caicedo Ferrer - 1978 - Notre Dame Journal of Formal Logic 19 (1):147-151.
John T. Kearns. Quantifiers and Universal Validity. Logique Et Analyse, N.S. Vol. 9 , Pp. 298–309. - George Goe. A Reconstruction of Formal Logic. Notre Dame Journal of Formal Logic, Vol. 7 , Pp. 129–157. - George Goe. Corrections to My Paper “A Reconstruction of Formal Logic.”Notre Dame Journal of Formal Logic, Vol. 7 , P. 158. [REVIEW]Theodore Hailperin - 1968 - Journal of Symbolic Logic 33 (1):137-138.
The Gödel-Herbrand Theorems.Richard L. Call - 1972 - Notre Dame Journal of Formal Logic 13 (1):131-134.
Deduction Theorems in Significance Logics.M. W. Bunder - 1979 - Notre Dame Journal of Formal Logic 20 (3):695-700.
Relative Separation Theorems for L+.Heikki Tuuri - 1992 - Notre Dame Journal of Formal Logic 33 (3):383-401.
Analytics
Added to PP index
2013-11-22
Total views
18 ( #562,418 of 2,410,616 )
Recent downloads (6 months)
1 ( #540,271 of 2,410,616 )
2013-11-22
Total views
18 ( #562,418 of 2,410,616 )
Recent downloads (6 months)
1 ( #540,271 of 2,410,616 )
How can I increase my downloads?
Downloads