Volume 42; Issue 2

Journal of Symbolic Logic

Volume 42; Issue 2
1

Fragments of First Order Logic, I: Universal Horn Logic

George F. McNulty
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 368 KB
english, 1977
2

The Consistency Problem for NF

M. Boffa
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 175 KB
english, 1977
3

Surface Semantics: Definition and its Motivation.by Jaakko Hintikka

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 86 KB
english, 1977
4

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 74 KB
english, 1977
5

Front Matter

Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 105 KB
english, 1977
6

Strict-Π11Predicates on Countable and Cofinality ω Transitive Sets

Philip W. Grant
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 300 KB
english, 1977
7

An Axiomatization for a Class of Two-Cardinal Models

James H. Schmerl
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 144 KB
english, 1977
8

Definability of Measures and Ultrafilters

David Pincus and Robert M. Solovay
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 296 KB
english, 1977
9

On Deciding the Provability of Certain Fixed Point Statements

George Boolos
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 115 KB
english, 1977
10

Some Models for Intuitionistic Finite Type Arithmetic with Fan Functional

A. S. Troelstra
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 230 KB
english, 1977
11

The Use of Kripke's Schema as a Reduction Principle

D. Van Dalen
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 106 KB
english, 1977
12

Sheaves and Normal Submodels

Richard Mansfield
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 264 KB
english, 1977
13

Theories with Models of Prescribed Cardinalities

Alan Mekler
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 104 KB
english, 1977
14

Minimal Models

Rainer Deissler
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 205 KB
english, 1977
15

A Model Theoretic Approach to Malcev Conditions

John T. Baldwin and Joel Berman
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 287 KB
english, 1977
16

Definability in Well Quasi-Ordered Sets of Structures

Charles K. Landraitis
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 120 KB
english, 1977
17

On Moschovakis Closure Ordinals

Jon Barwise
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 170 KB
english, 1977
18

A Lattice of Interpretability Types of Theories

Jan Mycielski
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 224 KB
english, 1977
19

A New Version of Beth Semantics for Intuitionistic Logic

Dov M. Gabbay
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 109 KB
english, 1977
23

Restricted Quantification and Conditional Assertion.by Nuel D. Belnap,

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 83 KB
english, 1977
24

In Defense of Convention T.by Donald Davidson

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 83 KB
english, 1977
25

A Truth Value Semantics for Modal Logic.by J. Michael Dunn

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 83 KB
english, 1977
26

Internal Semantics and Algebraic Logic.by Leon Henkin

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 86 KB
english, 1977
27

Intuitionism, Entailment, Negation.by Robert K. Meyer

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 86 KB
english, 1977
28

The Semantics of Entailment.by Richard Routley; Robert K. Meyer

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 110 KB
english, 1977
29

Background to Formalization.by Dana S. Scott

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 83 KB
english, 1977
30

A Generalization of Intuitionistic and Modal Logics.by Raymond M. Smullyan

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 107 KB
english, 1977
31

Philosophy and Formal Semantics.by Richmond H. Thomason

Review by: Melvin Fitting
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 83 KB
english, 1977
33

Laws of Form.by G. Spencer Brown

Review by: William E. Gould
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 113 KB
english, 1977
34

Logic, Theoretical and Applied.by Baruch A. Brody

Review by: Gerald Standley
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 92 KB
english, 1977
36

Compactness and transfer for a fragment of L 2

Magidor, M., Malitz, J.
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 601 KB
english, 1977
37

JSL volume 42 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 771 KB
english, 1977
38

On splitting stationary subsets of large cardinals

Baumgartner, James E., Taylor, Alan D., Wagon, Stanley
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 869 KB
english, 1977
39

JSL volume 42 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 1.36 MB
english, 1977
40

Craig interpolation theorem for intuitionistic logic and extensions Part III

Gabbay, Dov M.
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 293 KB
english, 1977
42

Chang's conjecture and powers of singular cardinals

Magidor, Menachem
Journal:
Journal of Symbolic Logic
Year:
1977
Language:
english
File:
PDF, 410 KB
english, 1977