Volume 37; Issue 1

Journal of Symbolic Logic

Volume 37; Issue 1
1

Semantic Analysis of Tense Logics

S. K. Thomason
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 974 KB
english, 1972
2

Semantics for Relevant Logics

Alasdair Urquhart
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 1.22 MB
english, 1972
4

Problems Arising in the Formalization of Intensional Logic.by J. Myhill

Review by: Bede Rundle
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 220 KB
english, 1972
5

Forcing for the Impredicative Theory of Classes

Rolando Chuaqui
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 1.81 MB
english, 1972
6

The Positive Properties of Isolic Integers

Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 2.52 MB
english, 1972
9

On the Unsolvability of some problems in topology.by A. Markov

Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 217 KB
english, 1972
10

Organization of the Society for Exact Philosophy

Journal:
Journal of Symbolic Logic
Year:
1972
File:
PDF, 118 KB
1972
11

Volume Information

Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 403 KB
english, 1972
12

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 115 KB
english, 1972
13

α-Arithmetic and Transfinite Induction

H. E. Rose
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 1.25 MB
english, 1972
14

The Completeness Theorem for Infinitary Logic

Richard Mansfield
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 459 KB
english, 1972
15

Describing Ordinals Using Functionals of Transfinite Type

Peter Aczel
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 1.02 MB
english, 1972
16

Minimum Models of Analysis

J. R. Shilleto
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 774 KB
english, 1972
17

Computational Speed-Up by Effective Operators

Albert R. Meyer and Patrick C. Fischer
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 1.64 MB
english, 1972
18

On Order-Types of Models

Wilfrid Hodges
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 268 KB
english, 1972
19

On Nonregular Ultrafilters

Jussi Ketonen
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 412 KB
english, 1972
20

Nonrecursive Combinatorial Functions

Erik Ellentuck
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 782 KB
english, 1972
21

A Transfinite Sequence of ω-Models

Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 814 KB
english, 1972
22

The Intersection of Nonstandard Models of Arithmetic

Andreas Blass
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 478 KB
english, 1972
23

A New Proof of a Theorem of Shelah

John W. Rosenthal
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 264 KB
english, 1972
24

Applications of Trees to Intermediate Logics

Dov M. Gabbay
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 445 KB
english, 1972
25

A Discrete Chain of Degrees of Index Sets

Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 896 KB
english, 1972
26

The Language of Time.by Richard M. Gale

Review by: Nino B. Cocchiarella
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 546 KB
english, 1972
28

Existential Quantification and the Regimentation of Ordinary Language.by R. M. Martin

Review by: Perry Smith
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 396 KB
english, 1972
29

Definability and Simplicity.by Lars Svenonius

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 223 KB
english, 1972
30

Axiomatic Measurement of Simplicity.by Nelson Goodman

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 388 KB
english, 1972
31

Two Measures of Complexity.by John G. Kemeny

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 383 KB
english, 1972
32

Nelson Goodman on the Concept of Logical Simplicity.by Patrick Suppes

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 219 KB
english, 1972
33

The Test of Simplicity.by Nelson Goodman

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 219 KB
english, 1972
34

Recent Developments in the Theory of Simplicity.by Nelson Goodman

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 367 KB
english, 1972
35

Condensation Versus Simplification.by Nelson Goodman

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 208 KB
english, 1972
36

A Modest Proposal Concerning Simplicity.by Henry E. Kyburg, Jr

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 208 KB
english, 1972
37

Some Remarks on Kyburg's Modest Proposal.by Robert Ackermann

Review by: Robert L. Causey
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 369 KB
english, 1972
39

Traité de la Conaissance.by Louis Rougier

Review by: Robert Blanché
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 389 KB
english, 1972
40

Presupposition and Types of Clause.by A. J. Baker

Review by: Michael D. Resnik
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 228 KB
english, 1972
41

On the Frege-Church Theory of Meaning.by R. M. Martin

Review by: Michael D. Resnik
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 228 KB
english, 1972
44

On the Formalization of Two Modal Theses.by Nicholas Rescher

Review by: John P. Murphy
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 221 KB
english, 1972
45

A Note on the Regular and Irregular Modal Systems of Lewis.by Boleslaw Sobociński

Review by: G. F. Schumm
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 388 KB
english, 1972
48

Bi-modal Logic, Double-Closure algebras, and Hilbert space.by Jean E. Rubin

Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 202 KB
english, 1972
49

Some Axiom-Pairs for Material and Strict Implication.by A. N. Prior

Review by: J. Jay Zeman
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 356 KB
english, 1972
50

Material Implication and "if...then."by J. Knox, Jr

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 214 KB
english, 1972
53

Application of Many-valued Logics in the Theory of Relay Networks.by T. D. Maistrova

Review by: Alan Rose
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 213 KB
english, 1972
54

Le Algebre di Lukasiwicz.by Gr. C. Moisil

Review by: C. Sicoe
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 213 KB
english, 1972
56

Prime Ideals in Generalized Post Algebras.by T. Traczyk

Review by: Ph. Dwinger
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 214 KB
english, 1972
57

On the class of subdirect powers of a finite algebra.by G. Grätzer

Review by: Fred Galvin
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 214 KB
english, 1972
60

The Lattice of Subalgebras of a Boolean Algebra.by David Sachs

Review by: G. Grätzer
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 379 KB
english, 1972
61

Semi-Boolean Algebra.by J. C. Abbott

Review by: G. Grätzer
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 208 KB
english, 1972
62

An Elementary Theory of the Category of sets.by F. William Lawvere

Review by: Calvin C. Elgot
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 355 KB
english, 1972
63

On Ordinal Diagrams.by Akiko Kino

Review by: Hilbert Levitz
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 207 KB
english, 1972
64

A Formalization of the Theory of Ordinal Numbers.by Gaisi Takeuti

Review by: Carol Karp
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 364 KB
english, 1972
65

A Characterization of Δ₂-Sets.by B. Scarpellini

Review by: Azriel Lévy
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 660 KB
english, 1972
66

On the Semantics of the Theory of Types.by S. R. Kogalovskij

Review by: Andrzej Mostowski
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 370 KB
english, 1972
68

A Paratheory of Type Theory.by Gerold Stahl

Review by: Charles Parsons
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 376 KB
english, 1972
69

Remarks on the Incompleteness Proof.by Gerold Stahl

Review by: Charles Parsons
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 222 KB
english, 1972
70

Mathematics of Incompleteness and Undecidability.by Vladeta Vučković

Review by: Raymond M. Smullyan
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 386 KB
english, 1972
71

A Theorem on Productive Functions.by T. G. McLaughlin

Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 223 KB
english, 1972
72

Klassen Rekursiver Funktionen.by D. Rödding

Review by: Günter Asser
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 223 KB
english, 1972
73

Partial Algorithm Problems for Context Free Languages.by Joseph S. Ullian

Review by: G. H. Matthews
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 381 KB
english, 1972
75

Algorithmic Properties of Structuresby Erwin Engeler

Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 217 KB
english, 1972
76

Recursive Pseudo-well-Orderings.by Joseph Harrison

Review by: Yiannis N. Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 372 KB
english, 1972
77

A Certain Class of Türing Machines.by N. V. Belyakin

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 214 KB
english, 1972
79

Simulation of Turing Machines on Nets.by N. V. Bélákin

Review by: Albert A. Mullin
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 223 KB
english, 1972
80

Recursive Function Theory and Speed of Computation.by Manuel Blum

Review by: Paul Young
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 223 KB
english, 1972
81

On the Size of Machines.by Manuel Blum

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 376 KB
english, 1972
82

[untitled]

Review by: H. Enderton
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 213 KB
english, 1972
83

[untitled]

Review by: A. Blikle
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 213 KB
english, 1972
85

Axiomatizability of Geometry without points.by Andrzej Grzegorczyk

Review by: Wolfram Schwabhäuser
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 218 KB
english, 1972
86

New Foundations of Absolute Geometry.by Wanda Szmielew

Review by: Thomas Frayne
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 661 KB
english, 1972
87

Implicit definability and compactness in infinitary languages.by Jon Barwise

Review by: Mihály Makkai
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 390 KB
english, 1972
90

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 2.36 MB
english, 1972
91

Errata

Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 141 KB
english, 1972
92

An Axiom System for the Proposition Calculus.by Shih-Chiang Wang

Review by: Perry Smith
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 239 KB
english, 1972
93

Conjunctively Indecomposable Formulas in Propositional Calculi.by V. A. Jankov

Review by: C. G. McKay
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 259 KB
english, 1972
94

Omitting Types: Application to Recursion Theory

Thomas J. Grilliot
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 1.27 MB
english, 1972
95

Products of Two-Sorted Structures

Philip Olin
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 769 KB
english, 1972
98

JSL volume 37 issue 1 Cover and Front matter Errata

Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 9.04 MB
english, 1972
99

Organization of the Society for Exact Philosophy

Journal:
Journal of Symbolic Logic
Year:
1972
File:
PDF, 24 KB
1972
100

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1972
File:
PDF, 1.41 MB
1972
101

The Antinomy of the Theory of Types.by A. Dumitriu

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1972
Language:
english
File:
PDF, 299 KB
english, 1972