Volume 34; Issue 3

Main
Journal of Symbolic Logic
Volume 34; Issue 3

Journal of Symbolic Logic

Volume 34; Issue 3

1

Free L-Algebras

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 491 KB

english, 1969

2

On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 2.74 MB

english, 1969

3

Logiques Construites par une Méthode de Déduction Naturelle.by J. Dopp

Review by: Dag Prawitz

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 222 KB

english, 1969

4

The Word Problem for Abstract Algebrasby Trevor Evans;Embeddability and the Word Problemby Trevor Evans

Review by: C. R. J. Clapham

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 204 KB

english, 1969

5

The Present State of the Theory of Relay Circuitsby M. A. Gavrilov

Review by: S. Rudeanu

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 345 KB

english, 1969

6

On the Representation of α-Complete Latticesby C. C. Chang; A. Horn

Review by: George Grätzer

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 355 KB

english, 1969

7

Cylindric and Polyadic Algebrasby Bernard A. Galler

Review by: Donald Monk

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 209 KB

english, 1969

8

Some Remarks on Extensibility, Confluence of Paths, Branching Properties, and Index Sets, for Certain Recursively Enumerable Graphsby T. G. McLaughlin

Review by: Wayne Richter

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 218 KB

english, 1969

9

Regressive Isolsby J. C. E. Dekker

Review by: C. E. Bredlau

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 211 KB

english, 1969

10

Elementary Functions and Coordinate Geometryby Sze-Tsen Hu

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 350 KB

english, 1969

11

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.23 MB

english, 1969

12

Annals of Mathematical Logic: Announcement of a New Periodical

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 164 KB

english, 1969

13

Meeting of the Association for Symbolic Logic Warsaw 1968

A. Mostowski and A. Blikle

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.47 MB

english, 1969

14

Consistency of Leśniewski's Mereology

Czesław Lejewski

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 811 KB

english, 1969

15

The Elimination of De Re Modalities

M. J. Cresswell

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 255 KB

english, 1969

16

Nonfinitizability of Classes of Representable Cylindric Algebras

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.33 MB

english, 1969

17

Nonfinitizability of Classes of Representable Polyadic Algebras

James S. Johnson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.05 MB

english, 1969

18

Applications of Strict Π11Predicates to Infinitary Logic

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.63 MB

english, 1969

19

Reduced Products and Nonstandard Logics

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.52 MB

english, 1969

20

E, R, and γ

Robert K. Meyer and J. Michael Dunn

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.68 MB

english, 1969

21

Natural Models of Ackermann's Set Theory

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 696 KB

english, 1969

22

The Degrees of Hyperhyperimmune Sets

Carl G. Jockusch, Jr.

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 607 KB

english, 1969

23

The Philosophy of Bertrand Russellby Paul Arthur Schilpp

Review by: Ann S. Ferebee

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 334 KB

english, 1969

24

The Logical Interest of the Topics as Seen in Abelardby Otto Bird;The Formalizing of the Topics in Mediaeval Logicby Otto Bird;Topic and Consequence in Ockham's Logicby Otto Bird;The Re-Discovery of the Topicsby Otto Bird

Review by: Martin Tweedale

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 540 KB

english, 1969

25

An Examination of Ockham's Aretetic Logicby Ivan Boh

Review by: Martin Tweedale

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 221 KB

english, 1969

26

The Logic of Commandsby Nicolas Rescher

Review by: James Thomson

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 378 KB

english, 1969

27

Recent Developments and Trends in Logicby Nicholas Rescher;A Neglected Recent Trend in Logicby Yehoshua Bar-Hillel

Review by: Krister Segerberg

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 217 KB

english, 1969

28

Iterated Deontic Modalitiesby Ruth Barcan Marcus

Review by: Krister Segerberg

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 216 KB

english, 1969

29

Avoidability and the Contrary-to-Fact Conditional in C. L. Stevenson and C. I. Lewisby William T. Fontaine

Review by: B. J. Diggs

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 217 KB

english, 1969

30

Semantical Considerations for Modal Logicsby Saul A. Kripke

Review by: Dov Gabbay

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 219 KB

english, 1969

31

Modal Logicsby Robert Feys; J. Dopp

Review by: Gerald J. Massey

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 382 KB

english, 1969

32

A Certain Kind of Formal Theoriesby Katuzi Ono

Review by: Jean Ladrière

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 661 KB

english, 1969

33

A Formalism for Primitive Logic and Mechanical Proof-Checkingby Katuzi Ono

Review by: Jean Ladrière

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 217 KB

english, 1969

34

A Pursuit of Simple Basic Systemsby Katuzi Ono

Review by: Jean Ladrière

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 216 KB

english, 1969

35

A Remark on the Intersection of Two Logicsby Satoshi Miura

Review by: Jean Ladrière

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 369 KB

english, 1969

36

On the Separation Theorem of Intermediate Propositional Calculiby Tsutomu Hosoi;The Separable Axiomatization of the Intermediate Propositional Systems Snof Godelby Tsutomu Hosoi

Review by: Alfred Horn

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 212 KB

english, 1969

37

Some Ways of Constructing a Propositional Calculus of any Required Degree of Unsolvabilityby M. D. Gladstone

Review by: W. E. Singletary

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 357 KB

english, 1969

38

Some Unsolvable Problems about Elements and Subgroups of Groupsby Gilbert Baumslag; W. W. Boone; B. H. Neumann

Review by: J. L. Britton

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 204 KB

english, 1969

39

On a Problem of J. H. C. Whitehead and a Problem of Alonzo Churchby William W. Boone; Hartley Rogers,

Review by: J. L. Britton

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 350 KB

english, 1969

40

On the Relation between the Word Problem and the Conjugacy Problem in Finitely Defined Groupsby A. A. Fridman

Review by: J. L. Britton

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 356 KB

english, 1969

41

Monogenic Post Normal Systems of Arbitrary Degreeby Philip K. Hooper

Review by: M. D. Gladstone

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 363 KB

english, 1969

42

Machine Dependence of Degree of Difficultyby Michael Arbib; Manuel Blum

Review by: Alan Cobham

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 212 KB

english, 1969

43

The Definition of Complexity of Algorithmsby B. M. Kloss; S. L. Bloom

Review by: Alan Cobham

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 212 KB

english, 1969

44

Decision Problems of Finite Automata Design and Related Arithmeticsby C. C. Elgot

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 359 KB

english, 1969

45

A Practical Infinitistic Computerby L. Kalmár

Review by: William E. Gould

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 206 KB

english, 1969

46

Relay Contact Circuits under Direct Controlby C. Moisil

Review by: S. Rudeanu

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 347 KB

english, 1969

47

La Operación Puente en las Álgebras de Booleby J. Santos; H. Arango

Review by: Florencio G. Asenjo

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 205 KB

english, 1969

48

Defining Relations for Full Semigroups of Finite Transformationsby Bjarni Jónsson

Review by: Donald Monk

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 209 KB

english, 1969

49

On Small Modelsby A. I. Mal'cév

Review by: Andrzej Mostowski

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 361 KB

english, 1969

50

Dimension in Elementary Euclidean Geometryby Dana Scott

Review by: Wolfram Schwabhäuser

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 210 KB

english, 1969

51

On Relations between Structuresby Per Lindström

Review by: G. Fuhrken

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 210 KB

english, 1969

52

The Problem of Predicativityby J. R. Shoenfield

Review by: George S. Boolos

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 210 KB

english, 1969

53

The Limits of Sheaves and Applications on Constructions of Modelsby P. Vopěnka;On$\triangledown$-Model of Set Theoryby P. Vopěnka;Properties of$\triangledown$-Modelby P. Vopěnka;Permutation Submodels of the Model$\triangledown$by P. Vopěnka; P. Hájek;Some Permutation Submodels of the Model$\triangledown$by P. Hájek; P. Vopěnka;$\triangledown$-Models in which the Generalized Continuum Hypothesis does not Holdby P. Vopěnka

Review by: Kenneth Kunen

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 368 KB

english, 1969

54

On Languages which are Based on Non-Standard Arithmeticby Abraham Robinson

Review by: James R. Geiser

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 387 KB

english, 1969

55

Constructive Analogues of the Group of Permutations of the Natural Numbersby Clement F. Kent

Review by: F. B. Cannonito

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 389 KB

english, 1969

56

Points and Spacesby L. E. J. Brouwer

Review by: Joan Rand Moschovakis

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 211 KB

english, 1969

57

On Intuitionistic Difference Relationsby B. van Rootselaar

Review by: R. E. Vesley

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 363 KB

english, 1969

58

Some Sheffer Functions for M-Valued Logicsby F. Richard Singer

Review by: R. L. Graham

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 210 KB

english, 1969

59

An Emendation of the Axiom System of Hilbert and Ackermann for the Restricted Calculus of Predicatesby David Pager

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 211 KB

english, 1969

60

MINIAC: World's Smallest Electronic Brainby Thomas Storer

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 199 KB

english, 1969

61

Can the Mathematician be Replaced by a Machine?by Yen-Yi Wu

Review by: C. C. Chang

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 198 KB

english, 1969

62

Bar Induction and Π1 1-CA

Friedman, Harvey

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.24 MB

english, 1969

63

On Universal Character of the Primitive Logicby Katuzi Ono

Review by: Jean Ladrière

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 396 KB

english, 1969

64

Mathematics and Symbolsby Jonas Lichtenberg

Review by: Krister Segerberg

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 227 KB

english, 1969

65

Words in the History of a Turing Machine with a Fixed Inputby Michael O. Rabin; Hao Wang

Review by: Joyce Friedman

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 238 KB

english, 1969

66

Countable Vector Spaces with Recursive Operations. Part I

J. C. E. Dekker

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 2.57 MB

english, 1969

67

Collected Papers of Charles Sanders Peirecby Charles Hartshorne; Paul Weiss

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 339 KB

english, 1969

68

Prime Ideal Characterization of Generalized Post Algebrasby Chen Chung Chang; Alfred Horn

Review by: Tadeusz Traczyk

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 233 KB

english, 1969

69

Good Choice Setsby J. C. E. Dekker;The Recursive Equivalence Type of a Class of Setsby J. C. E. Dekker

Review by: C. E. Bredlau

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 400 KB

english, 1969

70

Generic Embeddings

Jacob Manuel Plotkin

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 747 KB

english, 1969

71

Wu Yen-Yi. Shu hsüeh chia huei pu huei pei chi ch'i tai t'i (Can the mathematician be replaced by a machine?). K'o hsüeh chiao yü (Science education), vol. 11 no. 3 (1965), pp. 33–38.

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 81 KB

english, 1969

72

JSL volume 34 issue 3 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 10.58 MB

english, 1969

73

Annals of mathematical logic

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 68 KB

english, 1969

74

Logic with Truth Values in a Linearly Ordered Heyting Algebra

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 1.35 MB

english, 1969

75

Geometry and Necessary Truthby Raymond D. Bradley

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1969

Language:

english

File:

PDF, 444 KB

english, 1969