Drake, F. R. On McKinsey’s syntactical characterizations of systems of modal logic. (English) Zbl 0139.00602 J. Symb. Log. 27, 400-406 (1963). PDFBibTeX XMLCite \textit{F. R. Drake}, J. Symb. Log. 27, 400--406 (1963; Zbl 0139.00602) Full Text: DOI
Smiley, T. The independence of connectives. (English) Zbl 0139.00601 J. Symb. Log. 27, 426-436 (1963). PDFBibTeX XMLCite \textit{T. Smiley}, J. Symb. Log. 27, 426--436 (1963; Zbl 0139.00601) Full Text: DOI
Smullyan, R. M. On Post’s canonical systems. (English) Zbl 0134.00803 J. Symb. Log. 27, 55-57 (1963). PDFBibTeX XMLCite \textit{R. M. Smullyan}, J. Symb. Log. 27, 55--57 (1963; Zbl 0134.00803) Full Text: DOI
Sugihara, T. The number of modalities in \(T\) supplemented by the axiom \(CL^ 2 pL^ 3 p\). (English) Zbl 0122.24401 J. Symb. Log. 27, 407-408 (1963). PDFBibTeX XMLCite \textit{T. Sugihara}, J. Symb. Log. 27, 407--408 (1963; Zbl 0122.24401) Full Text: DOI
Angell, R. B. A propositional logic with subjunctive conditionals. (English) Zbl 0121.01009 J. Symb. Log. 27, 327-343 (1963). PDFBibTeX XMLCite \textit{R. B. Angell}, J. Symb. Log. 27, 327--343 (1963; Zbl 0121.01009) Full Text: DOI
Smiley, T. Syllogism and quantification. (English) Zbl 0121.01004 J. Symb. Log. 27, 58-72 (1963). PDFBibTeX XMLCite \textit{T. Smiley}, J. Symb. Log. 27, 58--72 (1963; Zbl 0121.01004) Full Text: DOI
Standley, G. B. Two arithmetical techniques with numbered classes. (English) Zbl 0119.01206 J. Symb. Log. 27, 437-438 (1963). PDFBibTeX XMLCite \textit{G. B. Standley}, J. Symb. Log. 27, 437--438 (1963; Zbl 0119.01206) Full Text: DOI
Gilmore, P. C. Some forms of completeness. (English) Zbl 0118.24804 J. Symb. Log. 27, 344-352 (1963). PDFBibTeX XMLCite \textit{P. C. Gilmore}, J. Symb. Log. 27, 344--352 (1963; Zbl 0118.24804) Full Text: DOI
Rose, A. Extensions of some theorems of Anderson and Belnap. (English) Zbl 0118.24801 J. Symb. Log. 27, 423-425 (1963). PDFBibTeX XMLCite \textit{A. Rose}, J. Symb. Log. 27, 423--425 (1963; Zbl 0118.24801) Full Text: DOI
Feferman, S.; Spector, C. Incompleteness along paths in progressions of theories. (English) Zbl 0117.25701 J. Symb. Log. 27, 383-390 (1963). PDFBibTeX XMLCite \textit{S. Feferman} and \textit{C. Spector}, J. Symb. Log. 27, 383--390 (1963; Zbl 0117.25701) Full Text: DOI
Feferman, S. Transfinite recursive progressions of axiomatic theories. (English) Zbl 0117.25402 J. Symb. Log. 27, 259-316 (1963). PDFBibTeX XMLCite \textit{S. Feferman}, J. Symb. Log. 27, 259--316 (1963; Zbl 0117.25402) Full Text: DOI
Horn, A. The separation theorem of intuitionist propositional calculus. (English) Zbl 0117.25302 J. Symb. Log. 27, 391-399 (1963). PDFBibTeX XMLCite \textit{A. Horn}, J. Symb. Log. 27, 391--399 (1963; Zbl 0117.25302) Full Text: DOI
Jobe, W. H. Functional completeness and canonical forms in many-valued logics. (English) Zbl 0117.25301 J. Symb. Log. 27, 409-422 (1963). Reviewer: Georg Kreisel (Stanford) MSC: 03-XX PDFBibTeX XMLCite \textit{W. H. Jobe}, J. Symb. Log. 27, 409--422 (1963; Zbl 0117.25301) Full Text: DOI
Kreisel, Georg On weak completeness of intuitionistic predicate logic. (English) Zbl 0117.01005 J. Symb. Log. 27, 139-158 (1963). PDFBibTeX XMLCite \textit{G. Kreisel}, J. Symb. Log. 27, 139--158 (1963; Zbl 0117.01005) Full Text: DOI
Chang, C. C.; Keisler, H. Jerome An improved prenex normal form. (English) Zbl 0115.00602 J. Symb. Log. 27, 317-326 (1963). PDFBibTeX XMLCite \textit{C. C. Chang} and \textit{H. J. Keisler}, J. Symb. Log. 27, 317--326 (1963; Zbl 0115.00602) Full Text: DOI
Karp, Carol R. Independence proofs in predicate logic with infinitely long expressions. (English) Zbl 0114.24503 J. Symb. Log. 27, 171-188 (1963). Reviewer: K. J. J. Hintikka (Boston) MSC: 03-XX PDFBibTeX XMLCite \textit{C. R. Karp}, J. Symb. Log. 27, 171--188 (1963; Zbl 0114.24503) Full Text: DOI
Pager, David An emendation of the axiom system of Hilbert and Ackermann for the restricted calculus of predicates. (English) Zbl 0114.24501 J. Symb. Log. 27, 131-138 (1963). Reviewer: K. J. J. Hintikka (Boston) MSC: 03-XX PDFBibTeX XMLCite \textit{D. Pager}, J. Symb. Log. 27, 131--138 (1963; Zbl 0114.24501) Full Text: DOI
Matheson, G. The semantics of singular terms. (English) Zbl 0113.24111 J. Symb. Log. 27, 439-466 (1963). PDFBibTeX XMLCite \textit{G. Matheson}, J. Symb. Log. 27, 439--466 (1963; Zbl 0113.24111) Full Text: DOI
Anderson, A. R.; Belnap, N. D. jun. The pure calculus of entailment. (English) Zbl 0113.00403 J. Symb. Log. 27, 19-52 (1963). PDFBibTeX XMLCite \textit{A. R. Anderson} and \textit{N. D. Belnap jun.}, J. Symb. Log. 27, 19--52 (1963; Zbl 0113.00403) Full Text: DOI Link
Bull, R. A. The implicational fragment of Dummett’s LC. (English) Zbl 0113.00304 J. Symb. Log. 27, 189-194 (1963). PDFBibTeX XMLCite \textit{R. A. Bull}, J. Symb. Log. 27, 189--194 (1963; Zbl 0113.00304) Full Text: DOI
Montague, R. Theories incomparable with respect to relative interpretability. (English) Zbl 0112.24604 J. Symb. Log. 27, 195-211 (1963). PDFBibTeX XMLCite \textit{R. Montague}, J. Symb. Log. 27, 195--211 (1963; Zbl 0112.24604) Full Text: DOI
Scarpellini, Bruno Die Nichtaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz. (German) Zbl 0112.24503 J. Symb. Log. 27, 159-170 (1963). Reviewer: Arto Salomaa (Turku) MSC: 03-XX PDFBibTeX XMLCite \textit{B. Scarpellini}, J. Symb. Log. 27, 159--170 (1963; Zbl 0112.24503) Full Text: DOI
Kleene, S. C. Disjunction and existence under implication in elementary intuitionistic formalism. (English) Zbl 0112.24502 J. Symb. Log. 27, 11-18 (1963); addendum ibid. 28, 154-156 (1964). Reviewer: Georg Kreisel MSC: 03-XX PDFBibTeX XMLCite \textit{S. C. Kleene}, J. Symb. Log. 27, 11--18 (1963; Zbl 0112.24502) Full Text: DOI
Clay, R. E. Note on Slupecki \(T\)-functions. (English) Zbl 0107.00801 J. Symb. Log. 27, 53-54 (1963). PDFBibTeX XMLCite \textit{R. E. Clay}, J. Symb. Log. 27, 53--54 (1963; Zbl 0107.00801) Full Text: DOI
Rescher, Nicholas Quasi-truth-functional systems of propositional logic. (English) Zbl 0107.00704 J. Symb. Log. 27, 1-10 (1963). Reviewer: A. Salomaa MSC: 03-XX PDFBibTeX XMLCite \textit{N. Rescher}, J. Symb. Log. 27, 1--10 (1963; Zbl 0107.00704) Full Text: DOI