


default search action
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 - E. W. Beth, Robert Feys:

The Amsterdam Meeting of the Association for Symbolic Logic. 90-94 - 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 - Willard Van Orman 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

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.


Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID














