ask others

The Journal of Symbolic Logic, Volume 20

> Home > Journals > The Journal of Symbolic Logic

Volume 20, Number 1, March 1955

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Shimony55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Shimony55
Abner Shimony:
Coherence and the Axioms of Confirmation. J. Symb. Log. 20(1): 1-28 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Benes55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Benes55
Vaclav Edvard Benes:
On the Consistency of an Axiom of Enumerability. J. Symb. Log. 20(1): 29-30 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Wang55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Wang55
Hao Wang:
Undecidable Sentences Generated by Semantic Paradoxes. J. Symb. Log. 20(1): 31-43 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/BethF55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/BethF55
E. W. Beth, Robert Feys:
The Amsterdam Meeting of the Association for Symbolic Logic. J. Symb. Log. 20(1): 90-94 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Orey55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Orey55
Steven Orey:
Formal Development of Ordinal Number Theory. J. Symb. Log. 20(1): 95-104 (1955)

Volume 20, Number 2, June 1955

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Nelson55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Nelson55
Raymond J. Nelson:
Simplest Normal Truth Functions. J. Symb. Log. 20(2): 105-108 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Sobocinski55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Sobocinski55
Boleslaw Sobocinski:
Note on a Problem of Paul Bernays. J. Symb. Log. 20(2): 109-114 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Lob55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Lob55
M. H. Lob:
Solution of a Problem of Leon Henkin. J. Symb. Log. 20(2): 115-118 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Yuting55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Yuting55
Shen Yuting:
Two Semantical Paradoxes. J. Symb. Log. 20(2): 119-120 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/RubinS55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/RubinS55
Herman Rubin, Patrick Suppes:
A Note on Two-Place Predicates and Fitting Sequences of Measure Functions. J. Symb. Log. 20(2): 121-122 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Stanley55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Stanley55
Robert L. Stanley:
Simplified Foundations for Mathematical Logic. J. Symb. Log. 20(2): 123-139 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Montague55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Montague55
Richard Montague:
On the Paradox of Grounded Classes. J. Symb. Log. 20(2): 140 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Quine55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Quine55
W. V. Quine:
A Proof Procedure for Quantification Theory. J. Symb. Log. 20(2): 141-149 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Anderson55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Anderson55
Alan Ross Anderson:
Correction to a Paper on Modal Logic. J. Symb. Log. 20(2): 150 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Spector55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Spector55
Clifford Spector:
Recursive Well-Orderings. J. Symb. Log. 20(2): 151-163 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Craig55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Craig55
William Craig:
Eighteenth Meeting of the Association for Symbolic Logic. J. Symb. Log. 20(2): 200-206 (1955)

Volume 20, Number 3, September 1955

- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Faris55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Faris55
J. A. Faris:
The Gergonne Relations. J. Symb. Log. 20(3): 207-231 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Nelson55a
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Nelson55a
Raymond J. Nelson:
Weak Simplest Normal Truth Functions. J. Symb. Log. 20(3): 232-234 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Svenonius55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Svenonius55
Lars Svenonius:
Definability and Simplicity. J. Symb. Log. 20(3): 235-250 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Lehman55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Lehman55
R. Sherman Lehman:
On Confirmation and Rational Betting. J. Symb. Log. 20(3): 251-262 (1955)
- view
  - electronic edition via DOI
  - electronic edition @ projecteuclid.org
- export record
  dblp key:
  - journals/jsyml/Kemeny55
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/jsyml/Kemeny55
John G. Kemeny:
Fair Bets and Inductive Probabilities. J. Symb. Log. 20(3): 263-273 (1955)

maintained by

at