J. Symbolic Logic, Tome 22 (1957) no. 1

p. 422-442

Project Euclid

List of Officers and Members of the Association for Symbolic Logic

p. 410-421

Project Euclid

Further Citations

p. 408-409

Project Euclid

Review: Kazimierz Ajdukiewicz, Okres Warunkowy a Implikacja Materialna; Kazimierz Ajdukiewicz, Conditional Sentence and Material Implication; K. Ajudkiewicz, Uslovnoe Predlozenie i Material'naa Implikacia

Smiley, T. J.

p. 407-408

Project Euclid

Review: John E. Freund, Chapter 23: Logic

Project Euclid

Review: Max Black, F. Salvoni, Linguaggio e ftlosofia, Studi metodologici

Project Euclid

Review: Rupert Crawshay-Williams, Equivocal Confirmation

Putnam, Hilary

p. 406-407

Project Euclid

Review: Richard Bevan Braithwaite, Scientific Explanation. A Study of the Function of Theory, Probability and Law in Science

Woodger, J. H.

p. 404-406

Project Euclid

Review: E. W. Beth, The Significance of the Philosophy of the Exact Sciences as a University Subject and as a Field of Scientific Research

p. 403-404

Project Euclid

Review: Wilfrid Sellars, Some Reflections on Language Games

p. 402-403

Project Euclid

Review: Wilfrid Sellars, Is There a Synthetic a Priori?

Project Euclid

Review: Max Bense, Transzendentale und Mathematische Logik

van Heijenoot, John

p. 401-402

Project Euclid

Review: Robert McNaughton, Contradiction, the Logical Counterpart to Conflict

Project Euclid

Review: Robert S. Hartman, The Analytic and the Synthetic as Categories of Inquiry

Project Euclid

Review: Robert Feys, Logique Formalisee Moderne et Philosophie des Sciences

p. 400-401

Project Euclid

Review: Erenst H. Hutten, Natural and Scientific Language

Project Euclid

Review: Ernest H. Hutten, The Mind-Body Problem

Sellars, Wilfrid

p. 399-400

Project Euclid

Review: Warren C. Haggstrom, On Careful Reasoning in Ordinary Language

Project Euclid

Review: Erik Stenius, Linguistic Structure and the Structure of Experience

p. 398-399

Project Euclid

Review: M. E. Olds, Synonymity: Extensional Isomorphism

Robinson, Richard E.

p. 397-398

Project Euclid

Review: Jason Xenakis, The Logic of Proper Names

Heijenoort, John Van

p. 396-397

Project Euclid

Review: Neil L. Wilson, Designation and Description; N. L. Wilson, Property Designation and Description; N. L. Wilson, Space, Time, and Individuals

Bar-Hillel, Y.

p. 395-396

Project Euclid

Review: L. O. Kattsoff, Ontology and the Choice of Languages

p. 394-395

Project Euclid

Review: Richard L. Cartwright, Ontology and the Theory of Meaning

p. 393-394

Project Euclid

Review: Arthur Pap, The Linguistic Hierarchy and the Vicious Circle Principle

Bausch, Augustus F.

p. 392-393

Project Euclid

Review: Gottlob Frege, The Thought: A Logical Inquiry

Project Euclid

Review: Arthur Pap, Belief and Propositions

Rescher, Nicholas

p. 391-392

Project Euclid

Review: Avrum Stroll, Believing the Meaningless: A Reply to Mr. Mellor

p. 390-391

Project Euclid

Review: Jan Berg, On Defining Disposition Predicates

Walting, John

Project Euclid

Review: G. Nuchelmans, "Counterfactual Conditionals" and Singular Causal Statements

p. 389-390

Project Euclid

Review: Hector Neri Castaneda, La Logica General de las Normas y la Etica (Esbozo de Una Teoria); Hector Neri Castaneda, Un Sistema General de Logica Normativa

Stahl, Gerold

p. 388-389

Project Euclid

Review: Bela Juhos, Ein-und Zweistellige Modalitaten

Vredenduin, P. G. J.

Project Euclid

Review: A. Mostowski, L'Oeuvre Scientifique de Jan Lukasiewicz dans Le Domaine de la Logique Mathematique

Durr, K.

p. 387-388

Project Euclid

Review: Boleslaw Sobocinski, In Memorian Jan Lukasiewicz; Heinrich Scholz, In Memorian Jan Lukasiewicz

Durr, K.

p. 385-387

Project Euclid

Review: Leonard Linsky, Professor Donald Williams on Aristotle; Donald C. Williams, Professor Linsky on Aristotle; Ronald J. Butler, Aristotle's Sea Fight and Three-Valued Logic

p. 384-385

Project Euclid

Review: Paul F. Linke, Eigentliche und Uneigentliche Logik

Chisholm, Roderick M.

p. 383-384

Project Euclid

Review: Ronald J. Butler, Language Strata and Alternative Logics

Prior, A. N.

Project Euclid

Review: Herman Meyer, La Negation et la Logique

Fitch, Frederic B.

Project Euclid

Review: I. M. Bochenski, Spitzfindigkeit

Project Euclid

Review: Karl Durr, Die Syllogistik des Johannes Hospinianus (1515-1575); Antoni Korcik, The Theory of Syllogism According to Hospinianus and Leibniz

Project Euclid

Review: Ivo Thomas, Eulerian Syllogistic

Miller, James Wilkinson

p. 381-382

Project Euclid

Review: J. C. Shepherdson, On the Interpretation of Aristotelian Syllogistic

Faris, J. A.

Project Euclid

Review: E. J. Lemmon, Alternative Postulate Sets for Lewis's S5

Matsumoto, Kazuo

p. 380-381

Project Euclid

Review: Veli Valpola, Eine Eigenschaft Gewohnlicher Negationsloser Kalkule der Propositionen-und Pradikatenlogik

Gilmore, P. C.

Project Euclid

Review: Alan Rose, An Alternative Formalisation of Sobocinski's Three-Valued Implicational Propositional Calculus

Project Euclid

Review: Alan Rose, Le Degre de Saturation du Calcul Propositionnel Implicatif a m Valeurs de Lukasiewicz

p. 379-380

Project Euclid

Review: C. C. H. Barker, Some Calculations in Logic

Project Euclid

Review: R. C. Lyndon, Identities in Finite Algebras

Project Euclid

Review: J. Kalicki, On Comparison of Finite Algebras

p. 378-379

Project Euclid

Review: A. G. Lunc, Method of Synthesis of a $(1, k)$-Terminal Network

Project Euclid

Review: A. G. Lunc, Algebraic Methods of Analysis and Synthesis of Contact Networks

Project Euclid

Review: A. G. Lunc, Synthesis and Analysis of Relay-Contact Networks with the Aid of Characteristic Functions

Project Euclid

Review: R. Grea, Etude Logique des Circuits de Contacts; R. Higonnet, R. Grea, Etude Logique des Circuits Electriques et des Systemes Binaires

Martin, N. M.

p. 377-378

Project Euclid

Review: P. Puig Adam, Metodos Grafico y Algebraico Para el Proyecto de Circuitos Electronicos de Calculo

Project Euclid

Review: Hans Hermes, Maschinen zur Entscheidung von Mathematischen Problemen

Renno, James

p. 376-377

Project Euclid

Review: Rozsa Peter, Die Beschrankt-Rekursiven Funktionen und die Ackermannsche Majorisierungsmethode

Axt, Paul

Project Euclid

Review: Julia Robinson, A Note on Primitive Recursive Functions

Peter, Rozsa

Project Euclid

Review: Raphael M. Robinson, Primitive Recursive Functions. II

Peter, Rozsa

p. 375-376

Project Euclid

Review: S. C. Kleene, Errata. Arithmetical Predicates and Function Quantifiers

Project Euclid

Review: H. G. Rice, Recursive and Recursively Enumerable Orders

Davis, Martin

Project Euclid

Review: Clifford Spector, On Degrees of Recursive Unsolvability

Davis, Martin

p. 374-375

Project Euclid

Review: Werner Markwald, Ein Satz Uber die Elementararithmetischen Definierbarkeitsklassen

Davis, Martin

Project Euclid

Review: William W. Boone, Certain Simple, Unsolvable Problems of Group Theory V-VI

Rabin, Michael O.

p. 373-374

Project Euclid

Review: William W. Boone, Certain Simple, Unsolvable Problems of Group Theory I-IV

Rabin, Michael O.

p. 372-373

Project Euclid

Review: Roland Fraisse, Sur Quelques Classifications des Systemes de Relations

Dedecker, Paul

p. 371-372

Project Euclid

Review: Hyman Kamel, Relational Algebra and Uniform Spaces

p. 370-371

Project Euclid

Review: A. Bialynicki-Birula, H. Rasiowa, On the Representation of Quasi-Boolean Algebras

Gericke, H.

Project Euclid

Review: Alfred Tarski, A Lattice-Theoretical Fixpoint Theorem and its Applications

Gericke, H.

Project Euclid

Review: J. Richard Buchi, Jesse B. Wright, The Theory of Proportionality as an Abstraction of Group Theory

Project Euclid

Review: E. W. Beth, L'etat Actuel du Probleme Logique des Antinomies

Lorenzen, Paul

Project Euclid

Review: Paul Lorenzen, Die Fiktion der Uberabzahlbarkeit

p. 368-369

Project Euclid

Review: Paul Lorenzen, Das Aktual-Unendliche in der Mathematik; Paul Lorenzen, Die Rolle der Logik in der Grundlagenkrisis der Analysis; G. Kurepa, G. Kreisel, A. Robinson, Die Rolle der Logik in der Grundlagenkrisis der Analysis: Discussion

Heyting, A.

Project Euclid

Review: E. Specker, Die Antinomien der Mengenlehre

Project Euclid

Review: Joseph R. Shoenfield, A Relative Consistency Proof

Shoenfield, J. R.

p. 367-368

Project Euclid

Review: Hao Wang, Truth Definitions and Consistency Proofs

Montague, Richard

p. 365-367

Project Euclid

Review: Karl R. Popper, A Note on Tarski's Definition of Truth

Kemeny, John G.

Project Euclid

Review: E. W. Beth, Semantic Construction of Intuitionistic Logic

Kleene, S. C.

p. 363-365

Project Euclid

[Omnibus Review]

Craig, William

p. 360-363

Project Euclid

Review: A. A. Zykov, The Spectrum Problem in the Extended Predicate Calculus

Project Euclid

Review: E. W. Beth, Decision Problems of Logic and Mathematics

Project Euclid

Review: F. Rodriguez-Gil, Los Fundamentos de las Matematicas

Project Euclid

Review: Joseph T. Clark, Contemporary Science and Deductive Methodology

Project Euclid

Review: Boleslaw Sobocinski, On Well Constructed Axiom Systems

p. 358-359

Project Euclid

Review: Vladimir Devide, Ein Axiomensystem fur die Naturlichen Zahlen

Germansky, B.

p. 357-358

Project Euclid

Review: Klaus Hartig, Explizite Definitionen Einiger Eigenschaften von Zeichenreihen

Hermes, Hans

Project Euclid

Review: Veli Valpola, Ein System der Negationslosen Logik mit Ausschliesslich Realisierbaren Pradikaten

Gilmore, P. C.

p. 355-356

Project Euclid

Review: Gholam-Hossein Mosaheb, Introduction to Formal Logic

Zadeh, L. A.

p. 354-355

Project Euclid

Review: Patrick Suppes, Introduction to Logic

Dopp, J.

p. 353-354

Project Euclid

Review: Hiroshi Nagai, Some Aspects of the Philosophy of Science in Japan

Project Euclid

Review: Zyoiti Suetuna, Uber den Begriff der Totalitat in der Mathematik

p. 352-353

Project Euclid

Review: Gaisi Takeuti, Construction of Ramified Real Numbers

Project Euclid

Review: Gaisi Takeuti, On a Generalized Logic Calculus

p. 351-352

Project Euclid

Review: Gerhard Gentzen, Robert Feys, Recherches sur la Deduction Logique

p. 350-351

Project Euclid

On Logically False Evidence Statements

p. 345-349

Project Euclid

A Definition of Existence in Terms of Abstraction and Disjunction

Fitch, Frederic B.

p. 343-344

Project Euclid

Some Results in Church's Restricted Recursive Arithmetic

Friedman, Joyce

p. 337-342

Project Euclid

Further Citations

p. 335-336

Project Euclid

Review: Robert L. Stanley, A Theory of Subjunctive Conditionals

p. 324-325

Project Euclid

Review: Gabriel Nuchelmans, The Analysis of Counterfactual Conditionals

p. 323-324

Project Euclid

Review: A. P. Ushenko, The Principles of Causality

p. 322-323

Project Euclid

Review: Gustav Bergmann, Dispositional Properties and Dispositions

Project Euclid

Review: A. P. Ushenko, The Counterfactual

p. 321-322

Project Euclid

Review: Philip P. Hallie, On So-Called "Counterfactual Conditionals."

Project Euclid

Review: William H. Dray, Professor Ryle on Arguments and Inference Licenses; Romane Clark, Natural Inference

Thomson, J. F.

Project Euclid

Review: Y. Bar-Hillel, Indexical Expressions

Thomson, J. F.

p. 320-321

Project Euclid

Review: Wolfgang Stegmuller, Das Universalienproblem Einst und Jetzt

p. 319-320

Project Euclid

Review: Charles A. Baylis, Universals, Communicable Knowledge, and Metaphysics

Project Euclid

Review: Hilary Putnam, Reds, Greens, and Logical Analysis

Goodman, Nelson

p. 318-319

Project Euclid

Review: William Craig, Replacement of Auxiliary Expressions

Goodman, Nelson

p. 317-318

Project Euclid

Review: Max Black, How Difficult Might Induction Be; Max Black, Carnap on Semantics and Logic

Turquette, Atwell R.

p. 316-317

Project Euclid

Review: John Myhill, Some Philosophical Implications of Mathematical Logic. I Three Classes of Ideas; Vaclav Edvard Benes, On Some Alleged Implications of Mathematical Logic

p. 314-316

Project Euclid

Review: Y. Bar-Hillel, Mr. Geach on Rigour in Semantics

Project Euclid

Review: E. W. Beth, Scientific Philosophy: Its Aims and Means

p. 313-314

Project Euclid

Review: Hiram J. McLendon, Uses of Similarity of Structure in Contemporary Philosophy

Dopp, J.

p. 311-313

Project Euclid

Review: N. J. Fine, Proof of a Conjecture of Goodman

Svenonius, Lars

Project Euclid

Review: G. B. Keene, Note on the Identity of Indiscernibles

Project Euclid

Review: James Wilkinson Miller, Exercises in Introductory Symbolic Logic

p. 310-311

Project Euclid

Review: Lewis Carroll, Symbolic Logic. Part I. Elementary

Prior, A. N.

p. 309-310

Project Euclid

Review: H. Gericke, Algebraische Betrachtungen zu den Aristotelischen Syllogismen

Hartig, Klaus

p. 308-309

Project Euclid

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 Compatibilita

Parisi, Domenico

p. 307-308

Project Euclid

Review: Alessandro Terracini, In memoria di Giuseppe Peano

Feys, Robert

p. 306-307

Project Euclid

Review: Th. Skolem, Peano's Axioms and Models of Arithmetic

Feferman, Solomon

Project Euclid

Review: G. Kreisel, A Variant to Hilbert's Theory of the Foundations of Arithmetic

p. 304-306

Project Euclid

Review: John Myhill, Arithmetic with Creative Definitions by Induction

p. 303-304

Project Euclid

Review: Gideon Schwarz, A Note on Transfinite Iteration

Scott, Dana

Project Euclid

Review: J. Myhill, J. C. Shepherdson, Effective Operations on Partial Recursive Functions

Dekker, J. C. E.

Project Euclid

Review: A. V. Kuznecov, B. A. Trahtenbrot, An Investigation of Partial Recursive Operators by Means of the Theory of the Space of Baire

Addison, J. W.

p. 301-302

Project Euclid

Review: Karl Menger, On Variables in Mathematics and in Natural Science; Karl Menger, Variables, de Diverses Natures; Karl Menger, What are Variables and Constants

p. 300-301

Project Euclid

Review: J. Riguet, Quelques Applications de la Theorie des Relations Binaires

Fraisse, Roland

Project Euclid

Review: Motokiti Kondo, Comptes rendus hebdomadaires des seances de l'Academie des Sciences

Lorenzen, Paul

p. 299-300

Project Euclid

Review: Abraham A. Fraenkel, On the Crisis of the Principle of the Excluded Middle

Project Euclid

Review: Masao Ohnishi, On Intuitionistic Functional Calculus

Heyting, A.

Project Euclid

Review: Irving M. Copi, Another Variant of Natural Deduction

Bernays, Paul

p. 298-299

Project Euclid

Review: Kurt Schutte, Ein System des Verknupfenden Schlie\beta ens

p. 297-298

Project Euclid

Review: W. V. Quine, Reduction to a Dyadic Predicate; Alan Cobham, Reduction to a Symmetric Predicate

Project Euclid

Review: Yosihisa Izumi, Remarques sur la Notion de la Perfection

p. 296-297

Project Euclid

Review: Andras Hajnal, Laszlo Kalmar, Eine Bemerkung zum Godelschen Axiomensystem der Mengenlehre

Peter, R.

Project Euclid

Review: Janos Suranyi, Uber das Entscheidungsproblem der Mathematischen Logik

Peter, R.

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 Kalmar

Project Euclid

p. 295-296

Project Euclid

Review: B. E. Meserve, Decision Methods for Elementary Algebra

Robinson, Abraham

Project Euclid

Review: A. Seidenberg, A New Decision Method for Elementary Algebra

Robinson, Abraham

Project Euclid

Review: W. V. Quine, Unification of Universes in Set Theory

p. 294-295

Project Euclid

Review: Hao Wang, The Categoricity Question of Certain Grand Logics

Benes, Vaclav E.

Project Euclid

Review: J. Barkley Rosser, The Relative Strength of Zermelo's Set Theory and Quine's New Foundations

Benes, Vaclav E.

Project Euclid

Review: J. Barkley Rosser, Logique Combinatoire et $\lambda$-Conversion; J. Barkley Rosser, les Modeles des Logiques Formelles

Fitch, Frederic B.

Project Euclid

Review: Hao Wang, On Denumerable Bases of Formal Systems

Spector, Clifford

p. 292-293

Project Euclid

Review: Hao Wang, On Formalization

Project Euclid

Review: Hao Wang, The Formalization of Mathematics

p. 290-292

Project Euclid

Review: Paul Lorenzen, Einfuhrung in die Operative Logik und Mathematik

Skolem, Th.

p. 289-290

Project Euclid

Review: Alonzo Church, Introduction to Mathematical Logic

Black, Max

p. 286-289

Project Euclid

Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory

Craig, William

p. 269-285

Project Euclid

Linear Reasoning. A New Form of the Herbrand-Gentzen Theorem

Craig, William

p. 250-268

Project Euclid

Vicious Circle Principle and the Paradoxes

Hintikka, K. Jaakko J.

p. 245-249

Project Euclid

Independent Axiom Schemata for Von Wright's $M$

p. 241-244

Project Euclid

Inferential Equivalence and Natural Deduction

Hiz, H.

Symonds, Bernard K. ; Chisholm, Roderick M.

p. 237-240

Project Euclid

Inference by Complementary Elimination

p. 233-236

Project Euclid

Can the Logic of Indirect Discourse be Formalised?

Cohen, L. Jonathan

p. 225-232

Project Euclid

Further Citations

p. 222-224

Project Euclid

Review: Robert McNaughton, Logical and Combinatorial Problems in Computer Design

Project Euclid

Review: W. Mays, The First Circuit for an Electrical Logic-Machine

Patterson, George W.

p. 221-222

Project Euclid

Review: Kurt Bing, On Simplifying Truth-Functional Formulas

McNaughton, Robert

Project Euclid

Review: V. I. Sestakov, An Algebraic Method for the Synthesis of Switching Circuits

Wakulicz, Andrzej

Project Euclid

Review: V. I. Sestakov, On the Transformation of a Periodic Sequence into a Recursive One

Wakulicz, Andrzej

Project Euclid

Review: V. A. Uspenskij, Systems of Enumerable Sets and Their Enumerations

Ehrenfeucht, Andrzej

Project Euclid

Review: G. S. Cejtin, Concerning the Problem of Recognizing Properties of Associative Calculi

p. 219-220

Project Euclid

Review: G. S. Cejtin, An Associative Calculus with an Unsolvable Equivalence Problem

Project Euclid

Review: A. A. Mucnik, Negative Answer to the Problem of Reducibility of the Theory of Algorithms

Rogers, Hartley

p. 218-219

Project Euclid

Review: Hartley Rogers, Certain Logical Reduction and Decision Problems

p. 217-218

Project Euclid

Review: A. Janiczak, Undecidability of Some Simple Formalized Theories

Project Euclid

Review: K. Jaakko Hintikka, An Application of Logic to Algebra

Henkin, Leon

p. 216-217

Project Euclid

Review: L. Henkin, La Structure Algebrique des Theories Mathematiques

Halmos, Paul R.

p. 215-216

Project Euclid

Review: L. Henkin, The Representation Theorem for Cylindrical Algebras

Halmos, Paul R.

Project Euclid

Review: Abraham A. Fraenkel, L'Axiome du Choix

p. 214-215

Project Euclid

Review: Jan Lukasiewicz, Sur la Formalisation des Theories Mathematiques

Project Euclid

Review: G. F. C. Griss, La Mathematique Intuitioniste sans Negation

Vredenduin, P. G. J.

Project Euclid

Review: Nicholas Rescher, Axioms for the Part Relation

Lejewski, Czeslaw

p. 213-214

Project Euclid

Review: V. J. McGill, W. T. Parry, The Unity of Opposites: A Dialectical Principle

p. 212-213

Project Euclid

Review: Samuel Issmann, Problemes de la Definition; S. Ceccato, P. Facchi, G. Vaccarino, Discussione

p. 211-212

Project Euclid

Review: Paul Bernays, Mathematische Existenz und Widerspruchsfreiheit

p. 210-211

Project Euclid

Review: D. W. Hamlyn, Analytic Truths

Project Euclid

Review: Soren Hallden, Emotive Propositions. A Study of Value

Meredith, David

p. 209-210

Project Euclid

Review: S. Korner, Individuals and Properties

p. 208-209

Project Euclid

Review: Israel Scheffler, On Synonymy and Indirect Discourse

Project Euclid

Review: Alonzo Church, Propositions and Sentences; Nelson Goodman, A World of Individuals; I. M. Bochenski, The Problem of Universals

Lightstone, A. H. ; Robinson, A.

p. 205-208

Project Euclid

On the Representation of Herbrand Functions in Algebraically Closed Fields

p. 187-204

Project Euclid

New Foundations for Lewis Modal Systems

p. 176-186

Project Euclid

Degrees of Unsolvability Associated with Classes of Formalized Theories

Feferman, Solomon

p. 161-175

Project Euclid

A Criterion for Completeness of Degrees of Unsolvability

Friedberg, Richard

p. 159-160

Project Euclid

The Axiomatization of Arithmetic

Wang, Hao

p. 145-158

Project Euclid

On the Axioms of Order and Succession

Bing, Kurt

p. 141-144

Project Euclid

Uniformization of Linear Arrays

Fine, N. J. ; Harrop, R.

p. 130-140

Project Euclid

A Theory of Restricted Quantification II

Hailperin, Theodore

p. 113-129

Project Euclid

Twenty-First Annual Meeting of the Association for Symbolic Logic

Gal, L.

p. 105-112

Project Euclid

Further Citations

p. 103-104

Project Euclid

Review: H. B. Curry, The Logic of Program Composition

Patterson, George W.

p. 102-103

Project Euclid

Review: Kamenosuke Yasuura, On the Representation of Many-Valued Propositional Logics by Relay Circuits

Project Euclid

Review: Toshihiko Kurihara, On the Representation of Finitely Many-Valued Logics by Electric Circuits

Project Euclid

Review: Makoto Itoh, On the General Solution of the Boolean (Two-Valued Logical) Equation in Several Variables; Makoto Itoh, On the General Solution of the Three-Valued Logical Equation

Project Euclid

Review: Makoto Itoh, On the General Solution of the $n$-Valued Function-Lattice (Logical) Equation in Several Variables

Project Euclid

Review: Makoto Itoh, On the General Solution of the $n$-Valued Function-Lattice (Logical) Equation in one Variable

Project Euclid

Review: Makoto Itoh, On the "Lattice of $n$-Valued Functions" ($n$-Valued Logic)

p. 100-101

Project Euclid

Review: Frantisek Svoboda, An Indeterminate Two-Valued Boolean Function; Frantisek Svoboda, The Use of Indeterminate Two-Valued Boolean Functions for the Synthesis of Switching Circuits

Szeptycki, Pawel

p. 99-100

Project Euclid

Review: G. N. Povarov, Concerning the Study of Symmetric Boolean Functions from the Point of View of the Theory of Relay-Contact Circuits

Project Euclid

Review: Hans Rohleder, Die Verwendung von Aussagenkalkulen zur Beschreibung Elektrischer Schaltungen

Project Euclid

Review: Gunter Schliebs, Ueber die Grundlagen der Algebra der Logik und Ihre Anwendung in der Schaltungstheorie

Fiett, Jerzy

Project Euclid

Review: Roberto Frucht, Cien Anos de Algebra de Boole

Mora, Jose Ferrater

Project Euclid

Review: W. L. Parker, B. A. Bernstein, On Uniquely Solvable Boolean Equations

Wernick, William

p. 96-97

Project Euclid

Review: George H. Mealy, A Method for Synthesizing Sequential Circuits

Elgot, Calvin C.

p. 334-335

Project Euclid

Review: G. N. Povarov, A Contribution to the Mathematical Theory of $(1,k)$ Contact Networks

Szeptycki, Pawel

Project Euclid

Review: A. S. Bloh, Synthesis of $(p,q)$ Contact Networks

Szeptycki, Pawel

p. 333-334

Project Euclid

Review: V. I. Sestakov, An Algebraic Method for the Synthesis of r-Positional Switching Circuits

Project Euclid

Review: V. I. Sestakov, The Modeling of the Propositional Calculus by Means of Simple Four-Terminal Networks

p. 332-333

Project Euclid

Review: Arthur W. Burks, Irving M. Copi, The Logical Design of an Idealized General-Purpose Computer

McNaughton, Robert

Project Euclid

Review: Allen Newell, Herbert A. Simon, The Logic Theory Machine. A Complex Information Processing System

Ehrenfeucht, Andrzej

p. 331-332

Project Euclid

Review: Karl Schroter, Deduktiv Abgeschlossene Mengen ohne Basis

Rose, Alan

Project Euclid

Review: Stig Kanger, A Note on Partial Postulate Sets for Propositional Logic

Robinson, T. Thacher

p. 330-331

Project Euclid

Review: Andrzej Grzegorczyk, Bemerkungen uber das Verstehen Logischer Gesetze

Bendiek, Johannes

Project Euclid

Review: Helena Rasiowa, On a Fragment of the Implicative Propositional Calculus

Bendiek, Johannes

Project Euclid

Review: Ryoichi Takekuma, On a Nine-Valued Propositional Calculus

Project Euclid

Review: Erik Gotlind, Some Sheffer Functions in m-Valued Logic

p. 329-330

Project Euclid

Review: Erik Gotlind, A Lesniewski-Mihailescu-Theorem for m-Valued Propositional Calculi

Project Euclid

Review: A. N. Prior, Many-Valued and Modal Systems: An Intuitive Approach

p. 328-329

Project Euclid

Review: Atwell R. Turquette, Many-Valued Logics and Systems of Strict Implication

Project Euclid

Review: Wilhelm Ackermann, Begrundung Einer Strengen Implikation

p. 327-328

Project Euclid

Review: Alan Ross Anderson, Independent Axiom Schemata for S5

Yonemitsu, Naoto

Project Euclid

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 S4

Prior, A. N.

p. 326-327

Project Euclid

Review: Heinrich Behmann, Die Typenfreie Logik und die Modalitat

Harrop, Ronald

Project Euclid

Review: Robert Blanche, Quantity, Modality, and Other Kindred Systems of Categories

p. 325-326

Project Euclid

[Omnibus Review]

Project Euclid

Review: Klaus Hartig, Die "Identischen Urteile" der Syllogistik

Project Euclid

Review: Klaus Hartig, Axiomatische Probleme in der Klassischen Syllogistik

Project Euclid

Review: Klaus Hartig, Uber die Struktur der Klassischen Syllogistik

p. 95-96

Project Euclid

Review: J. A. Faris, The Gergonne Relations

Miller, James Wilkinson

p. 94-95

Project Euclid

Review: E. Roxon, A Note on Some Misunderstandings of Aristotelian Logic

Geach, P. T.

Project Euclid

Review: A. C. Ewing, A New Formula for the Syllogism in Terms of the Ordinary Sense of `Implication.'

Geach, P. T.

Project Euclid

Review: Gerold Stahl, La Logica de las Preguntas

Castaneda, Hector Neri

p. 93-94

Project Euclid

Review: Ilmar Tammelo, Sketch for a Symbolic Juristic Logic; Romane L. Clark, On Mr. Tammelo's Conception of Juristic Logic

p. 92-93

Project Euclid

Review: A. C. Lloyd, The Logical form of Law Statements

Feys, Robert

Project Euclid

Review: David Meredith, A Correction to von Wright's Decision Procedure for the Deontic System P

Project Euclid

Review: G. H. von Wright, A Note on Deontic Logic and Derived Obligation

Project Euclid

Review: A. N. Prior, Modality and Quantification in S5

Project Euclid

Review: A. N. Prior, Curry's Paradox and 3-Valued Logic

Muller, Gert Heinz

p. 90-91

Project Euclid

Review: Moh Shaw-Kwei, Logical Paradoxes for Many-valued Systems

Muller, Gert Heinz

Project Euclid

Review: Kurt Reidemeister, Anschauung als Erkenntnisquelle; Kurt Reidemeister, Die Selbstandigkeit des Denkens

Kraft, Julius

p. 89-90

Project Euclid

Review: Wilfrid Sellars, Philosophical Studies

Basson, A. H.

p. 88-89

Project Euclid

Review: Charles Morris, Signs, Language, and Behavior

Project Euclid

Review: Rulon Wells, Meaning and Use

p. 87-88

Project Euclid

Review: Margaret Masterman (Braithwaite), The Pictorial Principle in Language

Smart, R. N.

p. 86-87

Project Euclid

Review: Israel Scheffler, An Inscriptional Approach to Indirect Quotation

Project Euclid

Review: H. B. Curry, Remarks on the Definition and Nature of Mathematics

p. 85-86

Project Euclid

Review: Antonio A. Monteiro, L'Arithmetique des Filtres et les Espaces Toplogiques; Herbert Meschkowski, Wandlungen des Mathematischen Denkens. Eine Einfuhrung in die Grundlagenprobleme

p. 84-85

Project Euclid

Review: Gregorio Klimovsky, Problemas Relativos a la Definicion de "Verdad Logica" en los Sistemas Semanticos y Sintacticos

Mora, Jose Ferrater

p. 83-84

Project Euclid

Review: H. Hermes, Sur le Concept d'Axiomatisabilite; Paul Bernays, H. Hermes, Abraham Robinson, Discussion: Sur le Concept d'Axiomatisabilite

Project Euclid

Review: Hans Hermes, Zum Begriff der Axiomatisierbarkeit

Project Euclid

Review: Hao Wang, Between Number Theory and Set Theory

Montague, Richard

p. 82-83

Project Euclid

Review: Hermann Weyl, Uber die Neue Grundlagenkrise der Mathematik; Hermann Weyl, Nachtrag Juni 1955

Gilmore, P. C.

p. 81-82

Project Euclid

Review: Paul Lorenzen, Uber die Widerspruchsfreiheit des Unendlichkeitsbegriffes

p. 80-81

Project Euclid

Review: Shoji Maehara, Eine Darstellung der Intuitionistischen Logik in der Klassischen

Matsumoto, Kazuo

p. 79-80

Project Euclid

Review: N. A. Sanin, On Some Logical Problems of Arithmetic

Renno, James

Project Euclid

Review: A. A. Markov, Theory of Algorithms

p. 77-79

Project Euclid

Review: V. A. Uspenskij, On Calculable Operations

p. 76-77

Project Euclid

Review: John Myhill, Creative Sets

Bernays, Paul

p. 73-76

Project Euclid

Review: P. T. Geach, G. H. von Wright, On an Extended Logic of Relations

Hintikka, K. J. J.

p. 72-73

Project Euclid

Review: W. Ackermann, Solvable Cases of the Decision Problem

Bernays, Paul

p. 68-72

Project Euclid

Languages in Which Self Reference is Possible

Smullyan, Raymond M.

p. 55-67

Project Euclid

Decidability and Essential Undecidability

Putnam, Hilary

p. 39-54

Project Euclid

Two Theories with Axioms Built by Means of Pleonasms

Ehrenfeucht, Andrzej

p. 36-38

Project Euclid

A Theory of Restricted Quantification I

Hailperin, Theodore

p. 19-35

Project Euclid

Sur La Structuration du Tableau Des Connectifs Interpropositionnels Binaires

Blanche, Robert

p. 17-18

Project Euclid

Eulerian Syllogistic

p. 15-16

Project Euclid

A Generalization of the Concept of $\omega$-Completeness

Henkin, Leon