Volume 40; Issue 3

Journal of Symbolic Logic

Volume 40; Issue 3
1

Complete Theories with Countably many Rigid Nonisomorphic Models

Jerome Malitz
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 115 KB
english, 1975
3

Degrees of Unsolvability.by Joseph R. Shoenfield

Review by: Leonard P. Sasso, Jr.
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 106 KB
english, 1975
4

Arithmetical Sets and Retracing Functions.by C. E. M. Yates

Review by: Carl Bredlau
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 84 KB
english, 1975
5

Gentzen Decision Procedures for Lewis's Systems S2 and S3.by Masao Ohnishi

Review by: Richard Routley
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 105 KB
english, 1975
6

Towards a Theory of Semantics and Compilers for Programming Languages.by E. K. Blum

Review by: David Park
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 102 KB
english, 1975
7

[untitled]

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 102 KB
english, 1975
8

Axioms for Birkhoff--v. Neumann Quantum Logic.by J. Kotas

Review by: M. Drieschner
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 106 KB
english, 1975
9

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 104 KB
english, 1975
10

Bounds for the Closure Ordinals of Replete Monotonic Increasing Functions

Diana Schmidt
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 273 KB
english, 1975
11

Types Omitted in Uncountable Models of Arithmetic

Julia F. Knight
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 143 KB
english, 1975
13

Constructive Set Theory

John Myhill
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 710 KB
english, 1975
14

Construction of Models from Groups of Permutations

Miroslav Benda
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 173 KB
english, 1975
15

On an Extension of Hilbert's Second |varepsilon-Theorem

T. B. Flannagan
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 156 KB
english, 1975
16

A Theorem on Shortening the Length of Proof in Formal Systems of Arithmetic

Robert A. Di Paola
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 168 KB
english, 1975
17

Uniform Enumeration Operations

A. H. Lachlan
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 246 KB
english, 1975
18

Semi-Minimal Theories and Categoricity

Daniel Andler
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 488 KB
english, 1975
19

An Interpolation Lemma for the Pure Implicational Calculus

Roy Edelstein
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 87 KB
english, 1975
28

On Saturated Reduced Products.by Miroslav Benda

Review by: Leszek Pacholski
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
29

For what Filters is Every Reduced Product Saturated?by Saharon Shelah

Review by: Leszek Pacholski
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
30

Une Généralisation de l'Ultraproduit.by Roland Fraïssé

Review by: Solomon Feferman
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 85 KB
english, 1975
31

Observations Concernant la Théorie de la Définition.by E. W. Beth

Review by: Karel De Bouvère
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 85 KB
english, 1975
32

A Non-Interpolation Theorem.by E. G. K. Lopez-Escobar

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 108 KB
english, 1975
34

Der Aufbau Einer Höheren Logik.by Wilhelm Ackermann

Review by: Kurt Schütte
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 82 KB
english, 1975
36

Comments on the Foundations of Set Theory.by Paul J. Cohen

Review by: Donald A. Martin
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 114 KB
english, 1975
38

The Interdependence of Certain Consequences of the Axiom of Choice.by A. Lévy

Review by: David Pincus
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
39

Proper Classes as Members of Extended Sets.by J. I. Friedman

Review by: J. B. Paris
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 84 KB
english, 1975
40

Perfect Subsets of Definable Sets of Real Numbers.by Richard Mansfield

Review by: Yiannis N. Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 84 KB
english, 1975
41

A Proof of Mansfield's Theorem by Forcing Method.by Yoemon Sampei

Review by: Yiannis N. Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 84 KB
english, 1975
42

The Independence of Ramsey's Theorem.by E. M. Kleinberg

Review by: James E. Baumgartner
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 84 KB
english, 1975
43

Strong Partition Properties for Infinite Cardinals.by E. M. Kleinberg

Review by: James E. Baumgartner
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
44

On Large Cardinals and Partition Relations.by E. M. Kleinberg; R. A. Shore

Review by: James E. Baumgartner
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
45

Zur Axiomatik der Quantenlogik.by H. Kunsemüller

Review by: M. Drieschner
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 85 KB
english, 1975
46

Moisil Algebras.by Roberto Cignoli

Review by: Ph. Dwinger
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 110 KB
english, 1975
49

Extensions of Some Theorems of Anderson and Belnap.by Alan Rose

Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
50

Introduzione alla Logica dei Sistemi Normativi.by Giuliano Di Bernardo

Review by: Hector-Neri Castaneda
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
51

Subjunctive and Indicative Conditionals.by Ernest W. Adams

Review by: Hans Freudenthal
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
52

Logic and the Concept of Entailment.by Arthur Pap

Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
53

Gentzen Method in Modal Calculi.by Masao Ohnishi; Kazuo Matsumoto

Review by: Richard Routley
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 107 KB
english, 1975
56

Gentzen-Like Systems for Partial Propositional Calculi.by E. William Chapin,

Review by: K. Iséki
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 84 KB
english, 1975
57

Venn Diagrams. History and Applications.by A. S. Kuzičév

Review by: Ann S. Ferebee
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 106 KB
english, 1975
59

The Postulate of the Empiricalness of Scientific Terms.by Marian Przełęcki

Review by: Maria Kokoszyńska
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 80 KB
english, 1975
60

[untitled]

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 91 KB
english, 1975
61

Logische Syntax der Sprache.by Rudolf Carnap

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 80 KB
english, 1975
63

Logic in Japan.by Shôji Maehara

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 81 KB
english, 1975
64

Intuitionism in Mathematics.by A. Heyting

Review by: Alonzo Church
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 80 KB
english, 1975
66

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 1.18 MB
english, 1975
67

Notices

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 70 KB
english, 1975
68

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 66 KB
english, 1975
69

Decision Procedure for Modal Sentential Calculus S3.by Kazuo Matsumoto

Review by: Richard Routley
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 91 KB
english, 1975
71

Notice of the Journal of Philosophical Logic

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 227 KB
english, 1975
72

SŁupecki Jerzy. Logic in Poland. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Klibansky Raymond, La Nuova Italia Editrice, Florence 1968, pp. 190–201.Kokoszyńska Maria. Kazimierz Ajdukiewicz. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des mathématiques), edited by Klibansky Raymond, La Nuova Italia Editrice, Florence 1968, pp. 202–208.Casari Ettore. La logique en Italie. Contemporary philosophy, A survey, I, Logic and foundations of mathematics (La philosophic contemporaine, Chroniques, I, Logique et fondements des m

Church, Alonzo
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 302 KB
english, 1975
77

Categories of frames for modal logic

Thomason, S. K.
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 355 KB
english, 1975
78

Notice of the Proceedings of the Tarski Symposium

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 219 KB
english, 1975
79

JSL volume 40 issue 3 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 714 KB
english, 1975
82

L(Q)-preservation theorems

Flum, Jörg
Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 647 KB
english, 1975
83

JSL volume 40 issue 3 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1975
Language:
english
File:
PDF, 1.52 MB
english, 1975