Journal of Symbolic Logic

Volume 22, Issue 3

September, 1957

Select/deselect all
Can the Logic of Indirect Discourse be Formalised?L. Jonathan Cohen; 225 - 232
Abstract
Inference by Complementary EliminationBernard K. Symonds and Roderick M. Chisholm; 233 - 236
Abstract
Inferential Equivalence and Natural DeductionH. Hiz; 237 - 240
Abstract
Independent Axiom Schemata for Von Wright's $M$Alan Ross Anderson; 241 - 244
Abstract
Vicious Circle Principle and the ParadoxesK. Jaakko J. Hintikka; 245 - 249
Abstract
Linear Reasoning. A New Form of the Herbrand-Gentzen TheoremWilliam Craig; 250 - 268
Abstract
Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof TheoryWilliam Craig; 269 - 285
Abstract

Reviews

Review: Alonzo Church, Introduction to Mathematical LogicMax Black; 286 - 289
Abstract
Review: Paul Lorenzen, Einfuhrung in die Operative Logik und MathematikTh. Skolem; 289 - 290
Abstract
Review: Hao Wang, The Formalization of MathematicsGert H. Muller; 290 - 292
Abstract
Review: Hao Wang, On FormalizationGert H. Muller; 292
Abstract
Review: Hao Wang, On Denumerable Bases of Formal SystemsClifford Spector; 292 - 293
Abstract
Review: J. Barkley Rosser, Logique Combinatoire et $\lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques FormellesFrederic B. Fitch; 293
Abstract
Review: J. Barkley Rosser, The Relative Strength of Zermelo's Set Theory and Quine's New FoundationsVaclav E. Benes; 294
Abstract
Review: Hao Wang, The Categoricity Question of Certain Grand LogicsVaclav E. Benes; 294
Abstract
Review: W. V. Quine, Unification of Universes in Set TheorySteven Orey; 294 - 295
Abstract
Review: A. Seidenberg, A New Decision Method for Elementary AlgebraAbraham Robinson; 295
Abstract
Review: B. E. Meserve, Decision Methods for Elementary AlgebraAbraham Robinson; 295
Abstract
Review: Rozsa Peter, Rekurziv Definiciok, Melyek Valtozo Szamu Korabbi Fuggvenyeteket Hasznalnak Fel; Rozsa Peter, Ujabb Bizonyitias Arra, Hogy a Csillag-Kalmar-Fele Elemi Fuggvenyek Osztalya Szukebb, Mint a Primitiv-Rekurziv Fuggvenyeke; Rozsa Peter, Die Mathematische Tatigkeit von Laszlo Kalmar295 - 296
Abstract
Review: Janos Suranyi, Uber das Entscheidungsproblem der Mathematischen LogikR. Peter; 296
Abstract
Review: Andras Hajnal, Laszlo Kalmar, Eine Bemerkung zum Godelschen Axiomensystem der MengenlehreR. Peter; 296
Abstract
Review: Yosihisa Izumi, Remarques sur la Notion de la PerfectionGert H. Muller; 296 - 297
Abstract
Review: W. V. Quine, Reduction to a Dyadic Predicate; Alan Cobham, Reduction to a Symmetric PredicateWilhelm Ackermann; 297
Abstract
Review: Kurt Schutte, Ein System des Verknupfenden Schlie\beta ensWilhelm Ackermann; 297 - 298
Abstract
Review: Irving M. Copi, Another Variant of Natural DeductionPaul Bernays; 298 - 299
Abstract
Review: Masao Ohnishi, On Intuitionistic Functional CalculusA. Heyting; 299
Abstract
Review: Abraham A. Fraenkel, On the Crisis of the Principle of the Excluded MiddleAlfons Borgers; 299
Abstract
Review: Motokiti Kondo, Comptes rendus hebdomadaires des seances de l'Academie des SciencesPaul Lorenzen; 299 - 300
Abstract
Review: J. Riguet, Quelques Applications de la Theorie des Relations BinairesRoland Fraisse; 300
Abstract
Review: Karl Menger, On Variables in Mathematics and in Natural Science; Karl Menger, Variables, de Diverses Natures; Karl Menger, What are Variables and ConstantsAlonzo Church; 300 - 301
Abstract
Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of BaireJ. W. Addison; 301 - 302
Abstract
Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive FunctionsJ. C. E. Dekker; 303
Abstract
Review: Gideon Schwarz, A Note on Transfinite IterationDana Scott; 303
Abstract
Review: John Myhill, Arithmetic with Creative Definitions by InductionGert H. Muller; 303 - 304
Abstract
Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of ArithmeticAndrzej Mostowski; 304 - 306
Abstract
Review: Th. Skolem, Peano's Axioms and Models of ArithmeticSolomon Feferman; 306
Abstract
Review: Alessandro Terracini, In memoria di Giuseppe PeanoRobert Feys; 306 - 307
Abstract
Review: Giovanni Vacca, Perche non si e Sviluppata la Scienza in Cina; Giovanni Vacca, Matematica e Tecnica: Origine e Sviluppo dei Concetti Matematici; Giovanni Vacca, Logica Matematica e Logistica--Sui Postulati dell'Aritmetica e la loro CompatibilitaDomenico Parisi; 307 - 308
Abstract
Review: H. Gericke, Algebraische Betrachtungen zu den Aristotelischen SyllogismenKlaus Hartig; 308 - 309
Abstract
Review: Lewis Carroll, Symbolic Logic. Part I. ElementaryA. N. Prior; 309 - 310
Abstract
Review: James Wilkinson Miller, Exercises in Introductory Symbolic LogicCharles A. Baylis; 310 - 311
Abstract
Review: G. B. Keene, Note on the Identity of IndiscerniblesCharles A. Baylis; 311
Abstract
Review: N. J. Fine, Proof of a Conjecture of GoodmanLars Svenonius; 311
Abstract
Review: Hiram J. McLendon, Uses of Similarity of Structure in Contemporary PhilosophyJ. Dopp; 311 - 313
Abstract
Review: E. W. Beth, Scientific Philosophy: Its Aims and MeansHugues Leblanc; 313 - 314
Abstract
Review: Y. Bar-Hillel, Mr. Geach on Rigour in SemanticsHugues Leblanc; 314
Abstract
Review: John Myhill, Some Philosophical Implications of Mathematical Logic. I Three Classes of Ideas; Vaclav Edvard Benes, On Some Alleged Implications of Mathematical LogicHugues Leblanc; 314 - 316
Abstract
Review: Max Black, How Difficult Might Induction Be; Max Black, Carnap on Semantics and LogicAtwell R. Turquette; 316 - 317
Abstract
Review: William Craig, Replacement of Auxiliary ExpressionsNelson Goodman; 317 - 318
Abstract
Review: Hilary Putnam, Reds, Greens, and Logical AnalysisNelson Goodman; 318 - 319
Abstract
Review: Charles A. Baylis, Universals, Communicable Knowledge, and MetaphysicsJonathan Bennett; 319
Abstract
Review: Wolfgang Stegmuller, Das Universalienproblem Einst und JetztJonathan Bennett; 319 - 320
Abstract
Review: Y. Bar-Hillel, Indexical ExpressionsJ. F. Thomson; 320 - 321
Abstract
Review: William H. Dray, Professor Ryle on Arguments and Inference Licenses; Romane Clark, Natural InferenceJ. F. Thomson; 321
Abstract
Review: Philip P. Hallie, On So-Called "Counterfactual Conditionals."John Watling; 321
Abstract
Review: A. P. Ushenko, The CounterfactualJohn Watling; 321 - 322
Abstract
Review: Gustav Bergmann, Dispositional Properties and DispositionsJohn Watling; 322
Abstract
Review: A. P. Ushenko, The Principles of CausalityJohn Watling; 322 - 323
Abstract
Review: Gabriel Nuchelmans, The Analysis of Counterfactual ConditionalsJohn Watling; 323 - 324
Abstract
Review: Robert L. Stanley, A Theory of Subjunctive ConditionalsAlan Ross Anderson; 324 - 325
Abstract
[Omnibus Review]Carl G. Hempel; 325
Abstract
Review: Robert Blanche, Quantity, Modality, and Other Kindred Systems of CategoriesE. J. Lemmon; 325 - 326
Abstract
Review: Heinrich Behmann, Die Typenfreie Logik und die ModalitatRonald Harrop; 326
Abstract
Review: Arata Ishimoto, A Note on the Paper "A Set of Axioms of the Modal Propositional Calculus Equivalent to S3."; Arata Ishimoto, A Formulation of the Modal Propositional Calculus Equivalent to S4A. N. Prior; 326 - 327
Abstract
Review: Alan Ross Anderson, Independent Axiom Schemata for S5Naoto Yonemitsu; 327
Abstract
Review: Wilhelm Ackermann, Begrundung Einer Strengen ImplikationAlan Ross Anderson; 327 - 328
Abstract
Review: Atwell R. Turquette, Many-Valued Logics and Systems of Strict ImplicationAlan Ross Anderson; 328
Abstract
Review: A. N. Prior, Many-Valued and Modal Systems: An Intuitive ApproachAlan Ross Anderson; 328 - 329
Abstract
Review: Erik Gotlind, A Lesniewski-Mihailescu-Theorem for m-Valued Propositional CalculiGene F. Rose; 329
Abstract
Review: Erik Gotlind, Some Sheffer Functions in m-Valued LogicGene F. Rose; 329 - 330
Abstract
Review: Ryoichi Takekuma, On a Nine-Valued Propositional CalculusAlan Ross Anderson; 330
Abstract
Review: Helena Rasiowa, On a Fragment of the Implicative Propositional CalculusJohannes Bendiek; 330
Abstract
Review: Andrzej Grzegorczyk, Bemerkungen uber das Verstehen Logischer GesetzeJohannes Bendiek; 330
Abstract
Review: Stig Kanger, A Note on Partial Postulate Sets for Propositional LogicT. Thacher Robinson; 330 - 331
Abstract
Review: Karl Schroter, Deduktiv Abgeschlossene Mengen ohne BasisAlan Rose; 331
Abstract
Review: Allen Newell, Herbert A. Simon, The Logic Theory Machine. A Complex Information Processing SystemAndrzej Ehrenfeucht; 331 - 332
Abstract
Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose ComputerRobert McNaughton; 332
Abstract
Review: V. I. Sestakov, The Modeling of the Propositional Calculus by Means of Simple Four-Terminal NetworksZdzislaw Pawlak; 332 - 333
Abstract
Review: V. I. Sestakov, An Algebraic Method for the Synthesis of r-Positional Switching CircuitsGene F. Rose; 333
Abstract
Review: A. S. Bloh, Synthesis of $(p,q)$ Contact NetworksPawel Szeptycki; 333 - 334
Abstract
Review: G. N. Povarov, A Contribution to the Mathematical Theory of $(1,k)$ Contact NetworksPawel Szeptycki; 334
Abstract
Review: George H. Mealy, A Method for Synthesizing Sequential CircuitsCalvin C. Elgot; 334 - 335
Abstract
Further Citations335 - 336
Abstract
Select/deselect all
  • Export citations

© 2019 Association for Symbolic Logic

Top

Association for Symbolic Logic

Journal of Symbolic Logic
  • You have access to this content.
  • You have partial access to this content.
  • You do not have access to this content.
Turn Off MathJax

What is MathJax?