default search action

combined dblp search
author search
venue search
publication search

ask others

The Journal of Symbolic Logic, Volume 19

> Home > Journals > The Journal of Symbolic Logic

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 19, Number 1, March 1954

- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Rescher54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Rescher54
Nicholas Rescher:
Leibniz's Interpretation of His Logical Calculi. 1-13
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Hailperin54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Hailperin54
Theodore Hailperin:
Remarks on Identity and Description in First-Order Axiom Systems. 14-20
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Shoenfield54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Shoenfield54
Joseph R. Shoenfield:
A Relative Consistency Proof. 21-28
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Fitch54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Fitch54
Frederic Brenton Fitch:
A Definition of Negation in Extended Basic Logic. 29-36
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Shaw-Kwei54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Shaw-Kwei54
Moh Shaw-Kwei:
Logical Paradoxes for Many-Valued Systems. 37-40
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Fine54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Fine54
N. J. Fine:
Proof of a Conjecture of Goodman. 41-44
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Martin54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Martin54
Norman M. Martin:
The Sheffer Functions of 3-Valued Logic. 45-51

Volume 19, Number 2, June 1954

- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Bernays54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Bernays54
Paul Bernays:
A System of Axiomatic Set Theory-Part VII. 81-96
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Quine54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Quine54
Willard Van Orman Quine:
Interpretations of Sets of Conditions. 97-102
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Robinson54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Robinson54
Abraham Robinson:
On Predicates in Algebraically Closed Fields. 103-114

Volume 19, Number 3, September 1954

- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Parry54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Parry54
William Tuthill Parry:
A New Symbolism for the Propositional Calculus. 161-168
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Standley54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Standley54
Gerald B. Standley:
Ideographic Computation in the Propositional Calculus. 169-171
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Kalicki54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Kalicki54
Jan Kalicki:
An Undecidable Problem in the Algebra of Truth-Tables. 172-176
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Quine54a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Quine54a
Willard Van Orman Quine:
Quantification and the Empty Domain. 177-179
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Quine54b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Quine54b
Willard Van Orman Quine:
Reduction to a Dyadic Predicate. 180-182
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Henkin54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Henkin54
Leon Henkin:
A Generalization of the Concept of |omega-Consistency. 183-196
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Benes54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Benes54
Vaclav Edvard Benes:
A Partial Model for Quine's "New Foundations". 197-200
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Anderson54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Anderson54
Alan Ross Anderson:
Improved Decision Procedures for Lewis's Calculus S4 and Von Wright's Calculus M. 201-214

Volume 19, Number 4, December 1954

- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Wang54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Wang54
Hao Wang:
The Formalization of Mathematics. 241-266
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Goodstein54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Goodstein54
R. L. Goodstein:
The Recursive Irrationality of |pi. 267-274
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Collins54
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Collins54
George E. Collins:
Distributivity and An Axiom of Choice. 275-277

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.