The Journal of Symbolic Logic, Volume 14

Volume 14, Number 1, March 1949

N. Bourbaki:
Foundations of Mathematics for the Working Mathematician. 1-8
Frederic Brenton Fitch:
The Heine-Borel Theorem in Extended Basic Logic. 9-15
David Nelson:
Constructible Falsity. 16-26
R. M. Martin:
A Note on Nominalism and Recursive Functions. 27-31
Nelson Goodman:
The Logical Simplicity of Predicates. 32-41
Leon Henkin:
Fragments of the Propositional Calculus. 42-48
Max A. Zorn:
Eleventh Meeting of the Association for Symbolic Logic. 73-80

Frederic Brenton Fitch:
On Natural Numbers, Integers, and Rationals. 81-84
Zoltan Paul Dienes:
On Ternary Logic. 85-94
Zoltan Paul Dienes:
On an Implication Function in Many-Valued Systems of Logic. 95-97
Julia Robinson:
Definability and Decision Problems in Arithmetic. 98-114
Marshall Hall Jr.:
The Word Problem for Semigroups with Two Generators. 115-118

Ernst Specker:
Nicht Konstruktiv Beweisbare Satze Der Analysis. 145-158
Leon Henkin:
The Completeness of the First-Order Functional Calculus. 159-166
Nathan P. Levin:
Computational Logic. 167-172
Gustav Bergmann:
A Syntactical Characterization of S5. 173-174
John R. Myhill:
Note on an Idea of Fitch. 175-176
Tzu-Hua Hoo:
m-Valued Sub-System of (m+n)-Valued Propositional Calculus. 177-181

Frederic Brenton Fitch:
A Further Consistent Extension of Basic Logic. 209-218
J. Barkley Rosser, Atwell R. Turquette:
A Note on the Deductive Completeness of M-Valued Propositional Calculi. 219-225
R. M. Martin:
A Note on Nominalistic Syntax. 226-227
Nelson Goodman:
An Improvement in the Theory of Simplicity. 228-229
Soren Hallden:
Results Concerning the Decision Problem of Lewis's Calculi S3 and S6. 230-236

Last update Tue Feb 14 04:21:04 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page