Volume 31; Issue 4

Main
Journal of Symbolic Logic
Volume 31; Issue 4

Journal of Symbolic Logic

Volume 31; Issue 4

1

A Theorem on Minimal Degrees

J. R. Shoenfield

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 520 KB

english, 1966

2

Infinite Series of Isolsby J. C. E. Dekker

Review by: Kenneth Appel

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 160 KB

english, 1966

3

Effectively Decidable Theoriesby Alan Cobham

Review by: Ann M. Singleterry

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 184 KB

english, 1966

4

Front Matter

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 259 KB

english, 1966

5

Constructive Order Types, II

John N. Crossley

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 950 KB

english, 1966

6

Functions of Propositions

M. J. Cresswell

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 1.26 MB

english, 1966

7

Logical Truth and Logical Implication

William S. Hatcher

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 176 KB

english, 1966

8

Non-Null Implication

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 825 KB

english, 1966

9

A Note on Universal Sets

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 238 KB

english, 1966

10

Pure Denumerable Łukasiewiczian Implication

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 512 KB

english, 1966

11

Finite Models for Inequations

M. D. Gladstone

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 826 KB

english, 1966

12

The Theory of Truth Tabular Connectives, both Truth Functional and Modal

Gerald J. Massey

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 1.24 MB

english, 1966

13

MIPC as the Formalisation of an Intuitionist Concept of Modality

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 687 KB

english, 1966

14

Syntactical and Semantical Properties of Generalized Quantifiers

Mitsuru Yasuhara

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 1.33 MB

english, 1966

15

An Axiomatic System for the First Order Language with an Equi-Cardinality Quantifier

Mitsuru Yasuhara

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 704 KB

english, 1966

16

On some Alleged Decision Procedures for S4

William H. Hanson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 322 KB

english, 1966

17

Models of Axiomatic Theories Admitting Automorphismsby A. Ehrenfeucht; A. Mostowski

Review by: R. L. Vaught

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 309 KB

english, 1966

18

On Theories Categorical in Powerby A. Ehrenfeucht

Review by: R. L. Vaught

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 204 KB

english, 1966

19

On Theories Categorical in Uncountable Powersby Michael Morley;Categoricity in Powerby Michael Morley

Review by: G. Fuhrken

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 220 KB

english, 1966

20

On Recursive Abelian Groupsby A. I. Mal'cev; Lisa Rosenblatt

Review by: Verena H. Dyson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 214 KB

english, 1966

21

Strongly Related Models and Recursively Complete Algebrasby A. I. Mal'cev; Elliott Mendelson

Review by: Verena H. Dyson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 324 KB

english, 1966

22

Notation Systems and Recursive Ordered Fieldsby Yiannis N. Moschovakis

Review by: B. H. Mayoh

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 319 KB

english, 1966

23

An Infinite Product of Isolsby J. C. E. Dekker

Review by: Kenneth Appel

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 160 KB

english, 1966

24

Zum Problem der Darstellbarkeit von Matrizenby A. A. Markov

Review by: A. Wlodzimierz Mostowski

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 184 KB

english, 1966

25

Beispiel einer Gruppe mit Nicht Rekursivem Zentrumby N. M. Nagornyj

Review by: A. Wlodzimierz Mostowski

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 184 KB

english, 1966

26

Effective Operations in a General Settingby A. H. Lachlan

Review by: J. R. Shoenfield

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 210 KB

english, 1966

27

Classes of Recursive Functions based on Ackermann's Functionby Robert W. Ritchie

Review by: Paul Axt

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 203 KB

english, 1966

28

Recursive Unsolvability of Post's Problem of "Tag" and other Topics in the Theory of Turing Machinesby Marvin L. Minsky

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 310 KB

english, 1966

29

Size and Structure of Universal Turing Machines using Tag Systemsby M. L. Minsky

Review by: Martin Davis

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 198 KB

english, 1966

30

On the Reversibility of Algorithmsby V. S. Čérnávskij

Review by: E. M. Fels

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 311 KB

english, 1966

31

A Proof Procedure for Quantification Theoryby W. V. Quine

Review by: Peter Andrews

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 197 KB

english, 1966

32

Solution to a Problem of Rose and Rosserby A. R. Turquette

Review by: Louise Hay

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 289 KB

english, 1966

33

Recursive Metric Spacesby Y. N. Moschovakis

Review by: B. H. Mayoh

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 284 KB

english, 1966

34

A Development of Cardinals in "The Consistency of the Continuum Hypothesis."by H. D. Sprinkle

Review by: Joel W. Robbin

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 190 KB

english, 1966

35

Reasoning and Logicby Richard B. Angell

Review by: Ivo Thomas

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 207 KB

english, 1966

36

High School Mathematics. Course 2. Plane Geometry with Appendices on Logic and Solid Geometryby Max Beberman; Herbert E. Vaughan

Review by: Theodore Hailperin

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 313 KB

english, 1966

37

Multiterminal Networks Containing the Closing Contacts of Internal Relaysby A. G. Lunc

Review by: Ann M. Singleterry

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 202 KB

english, 1966

38

Further Citations

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 486 KB

english, 1966

39

The Basic Laws of Aritmetic; Exposition of Systemby Montgomery Furth

Review by: G. Hasenjaeger

Journal:

Journal of Symbolic Logic

Year:

1966

File:

PDF, 336 KB

1966

40

The Notion of Rank in Set-Theoryby Dana Scott

Review by: A. Hajnal

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 326 KB

english, 1966

41

The Basic Laws of Aritmetic; Exposition of Systemby Montgomery Furth

Review by: G. Hasenjaeger

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 336 KB

english, 1966

42

A Few Problems on Boolean Algebrasby Roman Sikorski

Review by: Robert LaGrange

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 316 KB

english, 1966

43

Another Proof of Takeuti's Theorems on Skolem's Paradoxby Shôji Maehara

Review by: Erwin Engeler

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 207 KB

english, 1966

44

Elements of Symbolic Logicby Hans Reichenbach

Review by: J. van Heijenoort

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 214 KB

english, 1966

45

The Problem of Linguistic Equivalenceby Robert Abernathy

Review by: L. Jonathan Cohen

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 224 KB

english, 1966

46

Volume Information

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 314 KB

english, 1966

47

Reductions in the Theory of Typesby K. Jaakko Hintikka

Review by: W. B. Pitt

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 247 KB

english, 1966

48

A Set of Axioms for the Propositional Calculus with Implication and Converse Non-Implicationby Anjan Shukla

Review by: John Bacon

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 210 KB

english, 1966

49

The Gentle Art of Mathematicsby Dan Pedoe; Griselda El Tayeb

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 234 KB

english, 1966

50

Annual Meeting of the Association for Symbolic Logic

Sidney Morgenbesser and Elliott Mendelson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 1.36 MB

english, 1966

51

The Logic of Interrogativesby M. J. Cresswell; J. N. Crossley; M. A. E. Dummett

Review by: Gerold Stahl

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 232 KB

english, 1966

52

Notice: Fellowship and Research Opportunities in Mathematics

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 153 KB

english, 1966

53

Comparing the Axioms of Local and Universal Choiceby Azriel Lévy; Y. Bar-Hillel; E. I. J. Poznanski; M. O. Rabin; A. Robinson

Review by: A. Hajnal

Journal:

Journal of Symbolic Logic

Year:

1966

File:

PDF, 343 KB

1966

54

Systems of Predicative Analysisby Solomon Feferman

Review by: Kurt Schütte

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 356 KB

english, 1966

55

Introduction: A treatise on languageby David Rynin

Review by: Alonzo Church

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 341 KB

english, 1966

56

Axioms of Class Existenceby Hilary Putnam

Review by: A. Hajnal

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 220 KB

english, 1966

57

Real-Time Computation and Recursive Functions not Real-Time Computableby Hisao Yamada

Review by: Jiří Bečvář

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 344 KB

english, 1966

58

Independent Axioms for Infinite-Valued Logicby Atwell R. Turquette

Review by: Louise Hay

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 222 KB

english, 1966

59

False Lemmas in Herbrandby Burton Dreben; Peter Andrews; Stål Aanderaa

Review by: Paul Bernays

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 436 KB

english, 1966

60

Infinite Products of Isolsby Erik Ellentuck

Review by: Kenneth Appel

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 299 KB

english, 1966

61

A Model for Deontic Logicby E. E. Dawson;On Dawson-Models for Deontic Logicby Lennart Åqvist

Review by: P. T. Geach

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 230 KB

english, 1966

62

Fraenkel's Addition to the Axioms of Zermeloby Richard Montague

Review by: A. Hajnal

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 225 KB

english, 1966

63

Remark on Skolem's Theorem Concerning the Impossibility of Characterization of the Natural Number Sequenceby Shôji Maehara

Review by: Erwin Engeler

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 215 KB

english, 1966

64

On the Infinitely Many-Valued Double-Threshold Logicby Akira Nakamura

Review by: Arto Salomaa

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 222 KB

english, 1966

65

Philosophical Analysis, Collection of Essaysby Max Black

Review by: Ann M. Singleterry

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 342 KB

english, 1966

66

Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 2.62 MB

english, 1966

67

Elements of Mathematical Logicby P. S. Novikov; Leo F. Boron; R. L. Goodstein

Review by: Gert H. Müller

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 238 KB

english, 1966

68

A Logical Statement of Grammatical Theory as Contained in Halliday's `Categories of the Theory of Grammar.'by Robert M. W. Dixon;Linguistic Science and Logicby Robert M. W. Dixon

Review by: J. F. Staal

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 446 KB

english, 1966

69

The Theory of Implicationby A. N. Prior;The Theory of Implication: Two Correctionsby A. N. Prior;A Note on Prior's Systems in "The Theory of Deduction."by Bolesław Sobociński

Review by: Alan Ross Anderson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 330 KB

english, 1966

70

Bertrand Russell's Dictionary of Mind, Matter and Moralsby Bertrand Russell

Review by: Ann M. Singleterry

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 222 KB

english, 1966

71

Errata

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 236 KB

english, 1966

72

Real Time Computationby Michael O. Rabin

Review by: Jiří Bečvář

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 227 KB

english, 1966

73

Constructive Algebras. Iby A. I. Mal'cev; K. A. Hirsch

Review by: Verena H. Dyson

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 467 KB

english, 1966

74

The Formalisation of Set Theoryby John Tucker

Review by: Richard Montague

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 324 KB

english, 1966

75

Meeting of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 1018 KB

english, 1966

76

Interrogatives, Imperatives, Truth, Falsity and Liesby Henry S. Leonard

Review by: Gerold Stahl

Journal:

Journal of Symbolic Logic

Year:

1966

File:

PDF, 456 KB

1966

77

Interrogatives, Imperatives, Truth, Falsity and Liesby Henry S. Leonard

Review by: Gerold Stahl

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 456 KB

english, 1966

78

On some Alleged Decision Procedures for S4

Willam H., Hanson

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 613 KB

english, 1997

79

JSL volume 31 issue 4 Cover and Front matter

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.63 MB

english, 1997

80

JSL volume 31 issue 4 Cover and Back matter and Errata

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.81 MB

english, 1997

81

Related Citations

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 276 KB

english, 1997

82

Fellowship and research opportunities in mathematics

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 45 KB

english, 1997

83

List of officers and members of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.85 MB

english, 1997

84

Corporate Members of the Association for Symbolic Logic

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 1.78 MB

english, 1997

85

Abstracts of papers

Journal:

Journal of Symbolic Logic

Year:

1997

Language:

english

File:

PDF, 644 KB

english, 1997

86

Restricted Set-Theoretical Definitions in Arithmeticby Raphael M. Robinson

Review by: Robert McNaughton

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 351 KB

english, 1966

87

Introduction to Logic and to the Methodology of Deductive Sciencesby Alfred Tarski

Review by: Ann M. Singleterry

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 287 KB

english, 1966

88

Back Matter

Journal:

Journal of Symbolic Logic

Year:

1966

Language:

english

File:

PDF, 270 KB

english, 1966