The Journal of Symbolic Logic, Volume 20
Volume 20, Number 1, March 1955
Abner Shimony: Coherence and the Axioms of Confirmation. 1-28- Vaclav Edvard Benes: On the Consistency of an Axiom of Enumerability. 29-30
- Hao Wang: Undecidable Sentences Generated by Semantic Paradoxes. 31-43
- Steven Orey: Formal Development of Ordinal Number Theory. 95-104
Volume 20, Number 2, June 1955
- Raymond J. Nelson: Simplest Normal Truth Functions. 105-108
- Boleslaw Sobocinski: Note on a Problem of Paul Bernays. 109-114
- M. H. Lob: Solution of a Problem of Leon Henkin. 115-118
- Shen Yuting: Two Semantical Paradoxes. 119-120
- Herman Rubin, Patrick Suppes: A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. 121-122
- Robert L. Stanley: Simplified Foundations for Mathematical Logic. 123-139
- Richard Montague: On the Paradox of Grounded Classes. 140
- W. V. Quine: A Proof Procedure for Quantification Theory. 141-149
- Alan Ross Anderson: Correction to a Paper on Modal Logic. 150
- Clifford Spector: Recursive Well-Orderings. 151-163
- William Craig: Eighteenth Meeting of the Association for Symbolic Logic. 200-206
Volume 20, Number 3, September 1955
- J. A. Faris: The Gergonne Relations. 207-231
- Raymond J. Nelson: Weak Simplest Normal Truth Functions. 232-234
- Lars Svenonius: Definability and Simplicity. 235-250
- R. Sherman Lehman: On Confirmation and Rational Betting. 251-262
- John G. Kemeny: Fair Bets and Inductive Probabilities. 263-273
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-12-07T210950 by the dblp team