| Yûgen tatironri no denki kairo ni yoru hyôgen ni tuite (On the representation of finitely many-valued logics by electric circuits) |
Toshihiko Kurihara |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Scientific Explanation. A Study of the Function of Theory, Probability and Law in Science |
Richard Bevan Braithwaite |
J. H. Woodger |
The Journal of Symbolic Logic |
1957 |
| Recherches sur la déduction logique. French translation of 4422 by Jean Ladrière, with added footnotes by the translator |
Gerhard Gentzen |
John van Heijenoort |
The Journal of Symbolic Logic |
1957 |
| “Counterfactual conditionals” and singular causal statements |
G. Nuchelmans |
John Watling |
The Journal of Symbolic Logic |
1957 |
| Tagen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Contradiction, the logical counterpart to conflict |
Robert McNaughton |
Charles A. Baylis |
The Journal of Symbolic Logic |
1957 |
| Propositions and sentences |
Alonzo Church |
Carl G. Hempel |
The Journal of Symbolic Logic |
1957 |
| The representation theorem for cylindrical algebras |
L. Henkin |
Paul R. Halmos |
The Journal of Symbolic Logic |
1957 |
| La structure algébrique des théories matérmatiques |
L. Henkin |
Paul R. Halmos |
The Journal of Symbolic Logic |
1957 |
| Max Black |
|
Atwell R. Turquette |
The Journal of Symbolic Logic |
1957 |
| Logique combinatoire et λ-conversion |
J. Barkley Rosser |
Frederic B. Fitch |
The Journal of Symbolic Logic |
1957 |
| Itigen n-ti kansûsoku (ronri) hôteisiki no ippankai ni tuite (On the general solution of the n-valued function-lattice (logical) equation in one variable) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Ontology and the choice of languages |
L. O. Kattsoff |
Noam Chomsky |
The Journal of Symbolic Logic |
1957 |
| The analytic and the synthetic as categories of inquiry |
Robert S. Hartman |
Charles A. Baylis |
The Journal of Symbolic Logic |
1957 |
| Emotive propositions. A study of value |
Sören Halldén |
David Meredith |
The Journal of Symbolic Logic |
1957 |
| Mathematische Existenz und Widerspruchsfreiheit |
Paul Bernays |
John van Heijenoort |
The Journal of Symbolic Logic |
1957 |
| Einführung in die operative Logik und Mathematik |
Paul Lorenzen |
Th. Skolem |
The Journal of Symbolic Logic |
1957 |
| E. W. Beth |
|
Alfons Borgers |
The Journal of Symbolic Logic |
1957 |
| On denumerable bases of formal systems. Mathematical interpretation of formal systems |
Hao Wang |
Clifford Spector |
The Journal of Symbolic Logic |
1957 |
| Die “identischen Urteile” der Syllogistik |
Klaus Härtig |
Ivo Thomas |
The Journal of Symbolic Logic |
1957 |
| Introduction to mathematical logic |
Alonzo Church |
Max Black |
The Journal of Symbolic Logic |
1957 |
| The logic of program composition |
H. B. Curry |
George W. Patterson |
The Journal of Symbolic Logic |
1957 |
| Solvable cases of the decision problem |
W. Ackermann |
Paul Bernays |
The Journal of Symbolic Logic |
1957 |
| “n-ti kansû soku” (n-ti ronri) ni tuite (On the “lattice of n-valued functions” (n-valued logic)) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Quelques applications de la théorie des relations binaires |
J. Riguet |
Roland Fraïssé |
The Journal of Symbolic Logic |
1957 |
| Patrick Suppes |
|
J. Dopp |
The Journal of Symbolic Logic |
1957 |
| Peano's axioms and models of arithmetic |
Th. Skolem |
Solomon Feferman |
The Journal of Symbolic Logic |
1957 |
| The pictorial principle in language |
Margaret Masterman Braithwaite |
R. N. Smart |
The Journal of Symbolic Logic |
1957 |
| Tagen Boole (nitironri) hôteisiki no ippankai ni tuite (On the general solution of the Boolean (two-valued logical) equation in several variables) |
Makoto Itoh |
Katuzi Ono |
The Journal of Symbolic Logic |
1957 |
| Anschauung als Erkenntnisquelle. A reprint of XIII 154(2) |
Kurt Reidemeister |
Julius Kraft |
The Journal of Symbolic Logic |
1957 |
| The relative strength of Zermelo's set theory and Quine's New Foundations |
J. Barkley Rosser |
Václav E. Beneš |
The Journal of Symbolic Logic |
1957 |
| Über die neue Grundlagenkrise der Mathematik. A reprint of |
Hermann Weyl |
P. C. Gilmore |
The Journal of Symbolic Logic |
1957 |
| Madkhalé manteghé sooraat (Introduction to formal logic) |
Gholam-Hossein Mosaheb |
L. A. Zadeh |
The Journal of Symbolic Logic |
1957 |
| On uniquely solvable Boolean equations |
W. L. Parker and B. A. Bernstein |
William Wernick |
The Journal of Symbolic Logic |
1957 |
| Wolfram Schwabhäuser: Zur Definition des geordneten Paares im einstelligen Stufenkalkül |
|
William Craig |
The Journal of Symbolic Logic |
1956 |
| Yoemon Sampei |
|
Wilhelm Ackermann |
The Journal of Symbolic Logic |
1956 |
| Die endlichwertigen Łuhasiewiczschen Aussagenkalküle |
Günter Asser |
A. R. Turquette |
The Journal of Symbolic Logic |
1956 |
| Naoto Yonemitsu |
|
Alan Ross Anderson |
The Journal of Symbolic Logic |
1956 |
| On non-translational semantics |
R. M. Martin |
George D. W. Berry |
The Journal of Symbolic Logic |
1956 |
| Ronriteki bunseki no honsei to genkai (Logical analysis — its nature and its limits). Japanese with English abstract |
Masaharu Sawai |
Takeo Sugihara |
The Journal of Symbolic Logic |
1956 |
| Notes on existence and necessity |
Willard V. Quine |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Logik. Translated by Samuel Szemere |
Béla Fogarasi |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Preface |
Leonard Linsky |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Le paradoxe du “sorite” d'Eubulide de Mégare |
E. W. Beth |
J. F. Thomson |
The Journal of Symbolic Logic |
1956 |
| The semantic conception of truth and the foundations of semantics. A reprint of IX 68 (with omission of the Spanish abstract) |
Alfred Tarski |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Problems and changes in the empiricist criterion of meaning. A reprint of XVI 293(1) |
Carl G. Hempel |
Richard E. Robinson |
The Journal of Symbolic Logic |
1956 |
| R. M. Martin |
|
Alice Ambrose |
The Journal of Symbolic Logic |
1956 |
| Frege on functions |
Max Black |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
| Intuitionism. An introduction |
A. Heyting |
Sigekatu Kuroda |
The Journal of Symbolic Logic |
1956 |
| Some logical concepts for syntax |
Luitgard Wundheiler and Alex Wundheiler |
Alonzo Church |
The Journal of Symbolic Logic |
1956 |
