Volume 33; Issue 1

Journal of Symbolic Logic

Volume 33; Issue 1
1

On the Strong Semantical Completeness of the Intuitionistic Predicate Calculus

Year:
1968
Language:
english
File:
PDF, 605 KB
english, 1968
2

Volume Information

Year:
1968
Language:
english
File:
PDF, 308 KB
english, 1968
3

On the Completeness of Some Transfinite Recursive Progressions of Axiomatic Theories

Year:
1968
Language:
english
File:
PDF, 717 KB
english, 1968
4

Thirty Years of Foundational Studiesby Andrzej Mostowski

Year:
1968
Language:
english
File:
PDF, 346 KB
english, 1968
5

Natural Deduction Rules for Obligationby Ḟrederic B. Fitch

Year:
1968
Language:
english
File:
PDF, 307 KB
english, 1968
6

Front Matter

Year:
1968
Language:
english
File:
PDF, 151 KB
english, 1968
7

Errata

Year:
1968
Language:
english
File:
PDF, 136 KB
english, 1968
8

Universally Free Logic and Standard Quantification Theory

Year:
1968
Language:
english
File:
PDF, 1.75 MB
english, 1968
9

An Algebraic Study of Tense Logics with Linear Time

Year:
1968
Language:
english
File:
PDF, 888 KB
english, 1968
10

Modifications of Quine's ML and Inclusive Quantification Systems

Year:
1968
Language:
english
File:
PDF, 381 KB
english, 1968
11

Constructively Accessible Ordinal Numbers

Year:
1968
Language:
english
File:
PDF, 1.05 MB
english, 1968
12

Effectively Extensible Theories

Year:
1968
Language:
english
File:
PDF, 1.11 MB
english, 1968
13

On the Scope of the Classical Deduction Theorem

Year:
1968
Language:
english
File:
PDF, 485 KB
english, 1968
14

On Systems Containing Aristotle's Thesis

Year:
1968
Language:
english
File:
PDF, 1.14 MB
english, 1968
15

Some Calculi with Strong Negation Primitive

Year:
1968
Language:
english
File:
PDF, 340 KB
english, 1968
16

Structures Elementarily Closed Relative to a Model for Arithmetic

Year:
1968
Language:
english
File:
PDF, 452 KB
english, 1968
17

Functional Completeness in One Variable

Year:
1968
Language:
english
File:
PDF, 221 KB
english, 1968
18

A Note on Recursive Relations

Year:
1968
Language:
english
File:
PDF, 168 KB
english, 1968
19

A Minimal Canonically Complete M-Valued Proper Logic for Each M

Year:
1968
Language:
english
File:
PDF, 311 KB
english, 1968
20

A Transfinite Type Theory with Type Variablesby P. B. Andrews

Year:
1968
Language:
english
File:
PDF, 329 KB
english, 1968
21

A Theory of Setsby Anthony P. Morse

Year:
1968
Language:
english
File:
PDF, 202 KB
english, 1968
22

On Ordinalsby W. V. Quine; Hao Wang

Year:
1968
Language:
english
File:
PDF, 203 KB
english, 1968
23

Characterizations of Ordinal Numbers in Set Theoryby S. A. Cook; Hao Wang

Year:
1968
Language:
english
File:
PDF, 203 KB
english, 1968
24

Combinatorial Functions and Regressive Isolsby F. J. Sansone

Year:
1968
Language:
english
File:
PDF, 329 KB
english, 1968
25

The Summation of Certain Series of Infinite Regressive Isolsby F. J. Sansone

Year:
1968
Language:
english
File:
PDF, 207 KB
english, 1968
26

A Mapping of Regressive Isolsby Fred J. Sansone

Year:
1968
Language:
english
File:
PDF, 206 KB
english, 1968
27

On Order-Preserving Extensions to Regressive Isolsby Fred J. Sansone

Year:
1968
Language:
english
File:
PDF, 207 KB
english, 1968
28

Retraceable Sets and Recursive Permutationsby T. G. McLaughlin

Year:
1968
Language:
english
File:
PDF, 207 KB
english, 1968
29

Hereditarily Retraceable Isolsby T. G. McLaughlin

Year:
1968
Language:
english
File:
PDF, 343 KB
english, 1968
30

Enumeration of Recursive Setsby Yoshindo Suzuki

Year:
1968
Language:
english
File:
PDF, 216 KB
english, 1968
31

On the Recursivity of Finite Setsby Ronald Harrop

Year:
1968
Language:
english
File:
PDF, 217 KB
english, 1968
33

The Form of the Negation of a Predicateby J. R. Shoenfield

Year:
1968
Language:
english
File:
PDF, 228 KB
english, 1968
36

Observations Concerning Computing, Deduction, and Heuristicsby E. W. Beth

Year:
1968
Language:
english
File:
PDF, 224 KB
english, 1968
38

Turing Computations with Logarithmic Delayby B. A. Trahténbrot

Year:
1968
Language:
english
File:
PDF, 332 KB
english, 1968
39

One-Tape, Off-Line Turing Machine Computationsby F. C. Hennie

Year:
1968
Language:
english
File:
PDF, 344 KB
english, 1968
41

Hierarchies of Computable Groups and the Word Problemby Frank B. Cannonito

Year:
1968
Language:
english
File:
PDF, 206 KB
english, 1968
43

First Order Properties of Pairs of Cardinalsby H. Jerome Keisler

Year:
1968
Language:
english
File:
PDF, 203 KB
english, 1968
44

A Reduction-Principle for Infinite Formulasby Erwin Engeler

Year:
1968
Language:
english
File:
PDF, 215 KB
english, 1968
46

Universal Homogeneous Boolean Algebrasby H. Jerome Keisler

Year:
1968
Language:
english
File:
PDF, 206 KB
english, 1968
48

Free Extensions of Boolean Algebrasby F. M. Yaqub

Year:
1968
Language:
english
File:
PDF, 205 KB
english, 1968
49

On Extensions and Products of Boolean Algebrasby Roman Sikorski

Year:
1968
Language:
english
File:
PDF, 341 KB
english, 1968
50

A Note on Free Algebrasby R. S. Pierce

Year:
1968
Language:
english
File:
PDF, 220 KB
english, 1968
51

A Note on Free Products of Abstract Algebrasby R. S. Pierce

Year:
1968
Language:
english
File:
PDF, 345 KB
english, 1968
52

Transistor Logic Circuitsby Richard B. Hurley

Year:
1968
Language:
english
File:
PDF, 332 KB
english, 1968
54

Algèbre de Boole.by J. Kuntzmann

Year:
1968
Language:
english
File:
PDF, 208 KB
english, 1968
56

The Separation Theorem on the Classical Systemby Tsutomu Hosoi

Year:
1968
Language:
english
File:
PDF, 208 KB
english, 1968
58

Non-null Implicationby David Nelson

Year:
1968
Language:
english
File:
PDF, 202 KB
english, 1968
59

Z zagadnień logiki i filozofii, Pisma wybraneby Jerzy Słupecki; Jan Łukasiewicz

Year:
1968
Language:
english
File:
PDF, 683 KB
english, 1968
60

Pure Three-Valued Łukasiewiczian Implication.by Storrs McCall; R. K. Meyer

Year:
1968
Language:
english
File:
PDF, 374 KB
english, 1968
63

Interpretations of Deontic Logicby Lennart Åqvist

Year:
1968
Language:
english
File:
PDF, 187 KB
english, 1968
64

Peirce's Theory of Meaningby Hjalmar Wennerberg

Year:
1968
Language:
english
File:
PDF, 187 KB
english, 1968
65

A Pragmatic Approach to Modal Logicby Sȯren Halldén

Year:
1968
Language:
english
File:
PDF, 188 KB
english, 1968
67

Logica Hamburgensisby Joachim Jungius; Rudolf W. Meyer

Year:
1968
Language:
english
File:
PDF, 237 KB
english, 1968
68

Leibniz, Logical papersby G. H. R. Parkinson; Gottfried Wilhelm Leibniz

Year:
1968
Language:
english
File:
PDF, 334 KB
english, 1968
69

Fregeby P. T. Geach; G. E. M. Anscombe

Year:
1968
Language:
english
File:
PDF, 309 KB
english, 1968
73

The Truth-Conditional Consistency of Natural Languagesby Hans G. Herzberger

Year:
1968
Language:
english
File:
PDF, 346 KB
english, 1968
75

Introduction: Truthby George Pitcher

Year:
1968
Language:
english
File:
PDF, 347 KB
english, 1968
76

Truthby Michael Dummett

Year:
1968
Language:
english
File:
PDF, 208 KB
english, 1968
77

On What There isby Willard Van Orman Quine

Year:
1968
Language:
english
File:
PDF, 307 KB
english, 1968
78

Further Citations

Year:
1968
Language:
english
File:
PDF, 1000 KB
english, 1968
83

A Remark on Post Normal Systemsby Ann Yasuhara

Year:
1968
Language:
english
File:
PDF, 381 KB
english, 1968
85

Errata

Year:
1968
Language:
english
File:
PDF, 29 KB
english, 1968
95

JSL volume 33 issue 1 Cover and Front matter

Year:
1968
Language:
english
File:
PDF, 1.83 MB
english, 1968
96

JSL volume 33 issue 1 Cover and Back matter

Year:
1968
File:
PDF, 852 KB
1968
97

Related Citations

Year:
1968
Language:
english
File:
PDF, 653 KB
english, 1968